Model-based systems analysis using CSIM18 | IEEE Conference Publication | IEEE Xplore