@conference {8396657,
	title = {Timing analysis for UAS application software},
	booktitle = {2018 IEEE Aerospace Conference},
	year = {2018},
	month = {March 2018},
	pages = {1-10},
	keywords = {aerospace computing, Analytical models, autonomous aerial vehicles, autonomy engine, cFE/cFS framework, cFS applications, Colored Petri Net based timing model, end-to-end timing analysis, flight software reconfiguration, flight software systems, middleware, new rapid verification methods, Petri nets, PLEXIL, program verification, real-time systems, software verification, stimulus-to-response timing analysis, system configurations, system verification, Timing, UAS application software, Unified modeling language, Unmanned Aerial Systems},
	doi = {10.1109/AERO.2018.8396657},
	author = {C. {Hartsell} and G. {Karsai} and M. {Lowry}}
}
