MASE-an integrated environment for modeling, analysis and engineering of computer/communications systems | IEEE Conference Publication | IEEE Xplore