Multi-domain simulation as a foundation for the engineering of smart systems: Challenges and the SMAC vision | IEEE Conference Publication | IEEE Xplore