@conference {,
	title = {Opacity for switched linear systems: Notions and characterization},
	booktitle = {2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
	year = {2017},
	month = {Dec},
	keywords = {allowed switching sequences, directed graph, directed graphs, discrete time systems, discrete-time switched linear systems, linear systems, Mathematical model, Power systems, switched linear systems, Switched systems, Switches, switching systems (control)},
	doi = {10.1109/CDC.2017.8264445},
	author = {B. Ramasubramanian and R. Cleaveland and S. I. Marcus}
}
@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}
}
@conference {,
	title = {A framework for decentralized opacity in linear systems},
	booktitle = {2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton)},
	year = {2016},
	month = {Sept},
	keywords = {adversarial observer, colluding adversary, Computers, cyber-physical system, Cyber-physical systems, decentralized opacity, directed graph, directed graphs, ISO, linear system, linear systems, observers, Power systems, Trajectory},
	doi = {10.1109/ALLERTON.2016.7852240},
	author = {B. Ramasubramanian and R. Cleaveland and S. I. Marcus}
}
