Predictability in real-time system development (2) a case study (2004)

by Jinfeng Huang, Jeroen Voeten, Piet van der Putten, Andre Ventevogel
Venue:In Proceedings of the Forum on specification and Design Language, FDL’04