On-the-fly model abstraction for controller synthesis | IEEE Conference Publication | IEEE Xplore