Multi-domain simulation as a foundation for the engineering of smart systems: Challenges and the SMAC vision