Marco A. Feliú, Camilo Rocha, Swee Balachandran: Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. SPIN 2017: 94-97