A Framework for Cloud-based Testing of Multi-variant Cyber-physical Systems | IEEE Conference Publication | IEEE Xplore