Formal Methods for Real-Time Computing

The book presents a collection of original, state of the art, contributions in the field of modeling and analyzing real-time systems. All contributors have been invited to submit a paper on the basis of their recognized activity in the field. A "benchmark case study", the so called "Generalized railroad corssing", has been proposed to all authors to help critical evaluation and comparisons among the various approaches. A peer review process has been applied to all submitted contributions