A Supervisory Control Algorithm Based on Property-Directed Reachability. - Koen Claessen; Jonatan Kilhamn; Laura Kovács; Bengt Lennartson (Haifa Verification Conference, 2017)