Architecture-driven modeling of real-time concurrent systems with applications in FMS. - Yi Deng 001; Chia-Rung Yang (J. Syst. Softw., 1999)