Specification and Analysis of System Architecture Using Rapide

@article{rapide-tse21,
   apice = {RapideTse21},
   author = {Luckham, David C. and Kenney, John J. and Augustin, Larry M. and Vera, James and Bryan, Doug and Mann, Walter},
   doi = {10.1109/32.385971},
   inspec-an = {4969551},
   issn = {0098-5589},
   journal = {IEEE Transactions on Software Engineering},
   month = apr,
   number = 4,
   pages = {336--354},
   publisher = {IEEE Computer Society},
   title = {Specification and Analysis of System Architecture Using {R}apide},
   url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=385971},
   volume = 21,
   year = 1995
}