Specification and analysis of system architecture using Rapide (1995)

by D C Luckham, J J Kenney, L M Augustin, J Vera, D Bryan, W Mann
Venue:IEEE Trans. Softw. Eng