A software design method for Ada 95 based concurrent and real-time systems
1984 ◽
Vol 27
(9)
◽
pp. 938-949
◽