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(4):336-355, 1995. [doi]

Abstract

Abstract is missing.