Specification and Analysis of System Architecture Using Rapide
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}