Authors: LUCKHAM DC KENNEY JJ AUGUSTIN LM VERA J BRYAN D MANN W

Citation: Dc. Luckham et al., SPECIFICATION AND ANALYSIS OF SYSTEM ARCHITECTURE USING RAPIDE, IEEE transactions on software engineering, 21(4), 1995, pp. 336-355