David Chenho Kung, Scott R. Oksanen, Jyhjong Lin. An Object-Oriented Real Time Systems Modeling and Verification Methodology. In COMPSAC 96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea. pages 490-495, IEEE Computer Society, 1996. [doi]
Abstract is missing.