Modeling Real-Time Systems; Challenges and Work Directions (2001)

by J Sifakis
Venue:In Proceedings of the First International Workshop on Embedded Software