"Verification-driven development of ICAROUS based on automatic reachability ..."

Marco A. Feliú, Camilo Rocha, Swee Balachandran (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics