Specification and analysis of system architecture using Rapide (1995)

by L M Augustin D C Luckham, J Veera J J Kenny, D Bryan, W Mann
Venue:IEEE Transactions on Software Engineering