Modeling and verification of distributed real-time systems based on CafeOBJ (2001)

by K Ogata, Futatsugi
Venue:In: Proceedings of the 16th Int’l Conference on Automated Software Engineering (ASE 2001), IEEE CS Press (Nov.2001) 185—192