Design Methods for Reactive Systems describes methods and techniques for the design of software systems--particularly reactive software systems that engage in stimulus-response behavior. Such systems, which include information systems, workflow management systems, systems for e-commerce, production control systems, and embedded software, increasingly embody design aspects previously considered alone--such as complex information processing, non-trivial behavior, and communication between different components--aspects traditionally treated separately by classic software design...