Miguel Felder, Angelo Morzenti. Real-time system validation by model checking in TRIO. In Euromicro '91 Workshop on Real Time Systems, RTS 1991, Université Paris XI, Paris-Orsay, France, June 12-14, 1991, Proceedings. pages 20-28, IEEE, 1991. [doi]
Abstract is missing.