Describes methods and techniques for the design of software systems - particularly reactive software systems that engage in stimulus-response behavior. This work helps the software designer meet the challenges by presenting specification techniques and guidelines - allowing the designer to evaluate [...]