Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus | IEEE Conference Publication | IEEE Xplore