A Petri Net Based Software Architecture for UAV Simulation. - Dianxiang Xu; Priti Borse; Ken Grigsby; Kendall E. Nygard (Software Engineering Research and Practice, 2004)