Model-integrated design toolset for polymorphous computer-based systems | IEEE Conference Publication | IEEE Xplore