@conference {,
	title = {Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus},
	booktitle = {2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE)},
	year = {2016},
	month = {Oct},
	keywords = {aerospace computing, API, application program interfaces, Automation, Computer architecture, Concurrency, Concurrent computing, concurrent design, concurrent flight software bus, concurrent publisher-subscriber architecture style, concurrent system testing, Context, Flight Software, MBT technique, message passing, Microsoft Spec Explorer MBT tool, middleware, Model Based Testing, model-based test automation, NASA, NASA Core Flight Software software bus module, program testing, Publish-Subscribe, safety-critical software, safety-critical system, Software, software architecture, SUT, system-under-test, test case analysis, Testing},
	doi = {10.1109/ISSRE.2016.47},
	author = {D. Ganesan and M. Lindvall and S. Hafsteinsson and R. Cleaveland and S. L. Strege and W. Moleski}
}
