I. Lee, P. Bremond-Gregoire, and R. Gerber. A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems. IEEE Proceedings, 82(1), January 1994.
author author author author author author author title title title title title title title title title title title title title booktitle booktitle volume date date