Yi Deng 0001 Jiacun Wang Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. 270-278 1998 conf/hase/1998 HASE https://doi.org/10.1109/HASE.1998.731627 https://doi.ieeecomputersociety.org/10.1109/HASE.1998.731627 db/conf/hase/hase1998.html#DengW98