Modeling and verification of distributed real-time systems using periodic finite state machines. (2007)

by R Obermaisser, C El-Salloum, B Huber, H Kopetz
Venue:Journal of Computer Systems Science & Engineering,