@inproceedings{20, 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}, author = {C. Hartsell} and G. Karsai} and M. Lowry}}, title = {Timing analysis for UAS application software}, year = {2018}, journal = {2018 IEEE Aerospace Conference}, pages = {1-10}, month = {March 2018}, }