Specification and Analysis of System Architecture Using Rapide. - David C. Luckham; John J. Kenney; Larry M. Augustin; James Vera; Doug Bryan; Walter Mann (IEEE Trans. Software Eng., 1995)

Correction to "Specification and Analysis of System Architecture Using Rapide". - David C. Luckham; John J. Kenney; Larry M. Augustin; James Vera; Doug Bryan; Walter Mann (IEEE Trans. Software Eng., 1995)