H. Heping;H. Zedan
-;-
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering