Using Monterey Phoenix to Formalize and Verify System Architectures | IEEE Conference Publication | IEEE Xplore