David Scholefield;Hussein S. M. Zedan;He Jifeng
-;-;-
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering