An Object-Oriented Real Time Systems Modeling and Verification Methodology. - David Chenho Kung; Scott R. Oksanen; Jyhjong Lin (COMPSAC, 1996)