Specification and analysis of system architecture using Rapide (1995)

by David C Luckham, John J Kenney, Larry M Augustin, James Vera, Doug Bryan, Walter Mann
Venue:IEEE Transactions on Software Engineering