Modeling and Verification of a Heterogeneous Sky Surveillance Visual Sensor Network. (31st August 2013)