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]
@article{LuckhamKAVBM95a,
title = {Specification and Analysis of System Architecture Using Rapide},
author = {David C. Luckham and John J. Kenney and Larry M. Augustin and James Vera and Doug Bryan and Walter Mann},
year = {1995},
url = {http://www.computer.org/tse/ts1995/e0576abs.htm},
tags = {architecture, analysis, C++},
researchr = {https://researchr.org/publication/LuckhamKAVBM95a},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {21},
number = {6},
pages = {576},
}