Automated Scenario-Based Testing of Distributed and Heterogeneous Systems | IEEE Conference Publication | IEEE Xplore