Using Monterey Phoenix to Formalize and Verify System Architectures. - Jiexin Zhang 002; Yang Liu 003; Mikhail Auguston; Jun Sun 001; Jin Song Dong (APSEC, 2012)

Model Checking Software Architecture Design. - Jiexin Zhang 002; Yang Liu 003; Jing Sun 002; Jin Song Dong; Jun Sun 001 (HASE, 2012)

Formalizing and verifying stochastic system architectures using Monterey Phoenix. - Songzheng Song; Jiexin Zhang 002; Yang Liu 003; Mikhail Auguston; Jun Sun 001; Jin Song Dong; Tieming Chen (Softw. Syst. Model., 2016)