A formal method for analyzing software architecture models in SAM | IEEE Conference Publication | IEEE Xplore