Matthias Rungger, Olaf Stursberg: On-the-fly model abstraction for controller synthesis. ACC 2012: 2645-2650