Peter T. Breuer, Natividad Martínez Madrid, Luis Sánchez, Andrés Marín, Carlos Delgado Kloos. A Formal Method for Specification and Refinement of Real-Time Systems. In Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, RTS 1996, L'Aquila, Italy, June 12-14, 1996. pages 200-204, IEEE Computer Society, 1996. [doi]
Abstract is missing.