Girish Shivanand Bhat;Walter Rance Cleaveland, II
-;-
A practical approach to implementing real-time semantics
Annals of Software Engineering