Improvement and Evaluation of the MS2SV for Mixed Systems Design Described in Abstraction High Level | IEEE Conference Publication | IEEE Xplore