Modeling and Reasoning Timing Constraints in Open Distributed Real-Time and Embedded Systems

Paperback / softback