Louise E. Moser;P. M. Melliar-Smith
-;-
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)