Specification and analysis of system architecture using Rapide. In: (1995)

by D Luckham, L Augustin, J Kenney, J Vera, D Bryan, W Mann
Venue:IEEE Transactions on Software Engineering.