Real-time property preservation in concurrent real-time systems (2004)

by Jinfeng Huang, Jeroen Voeten, Marc Geilen
Venue:In Proceedings of 10th International Conference on Real-time and Embedded Computing Systems and Applications Conference 2004