Dharmalingam Ganesan Mikael Lindvall Stefan Hafsteinsson Rance Cleaveland Susanne L. Strege Walter Moleski Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus. 445-454 2016 ISSRE https://doi.org/10.1109/ISSRE.2016.47 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2016.47 conf/issre/2016 db/conf/issre/issre2016.html#GanesanLHCSM16