Duncan Clarke;Insup Lee
-;-
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering