S. K. S. Gupta, Model-based engineering of UAVs to ensure safety of critical missions,[presented at the S5 Conf., Beavercreek, Ohio, Jun. 5, 2011 [Online]. Available: https://www.signup4.net/public/ap.aspx?EID=SAFE23-E&OID=110.