Specification and analysis of system architecture using RAPIDE (1995)

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