Stephen Waydo and Eric Klavins (2006) Verification of an Autonomous Reliable Wingman using CCL. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCDSTR:2006.001]