Félix Buendía García, Joan Vila-Carbó. Validating the Design of Real-Time Systems Using a Formal Specification Method. In Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, RTS 1996, L'Aquila, Italy, June 12-14, 1996. pages 41-46, IEEE Computer Society, 1996. [doi]
Abstract is missing.