Model-integrated computing environments and computer-based systems | IEEE Conference Publication | IEEE Xplore