Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus. - Dharmalingam Ganesan; Mikael Lindvall; Stefan Hafsteinsson; Rance Cleaveland; Susanne L. Strege; Walter Moleski (ISSRE, 2016)