MSC/sup +/: From requirement to prototyped systems | IEEE Conference Publication | IEEE Xplore