Cloud-Based Architectures for Model-Based Simulation Testing of Embedded Software | IEEE Conference Publication | IEEE Xplore