Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a

Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event processes, this text combines a formal framework in c

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a cr

The first book to provide a comprehensive overview of the subject rather than a collection of papers. The author is a recognized authority in the field as well

System Health Management: with Aerospace Applications provides the first complete reference text for System Health Management (SHM), the set of technologies and