Specification and Analysis of System Architecture Using Rapide

David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann. Specification and Analysis of System Architecture Using Rapide. IEEE Trans. Software Eng., 21(6):576, 1995. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: