Veera,Doug Bryan,and Walter Mann. Specification and analysis of system architecture using Rapide (1995)

by David C Luckham, Lary M Augustin, John J Kenney, James
Venue:IEEE Transactions on Software Engineering