Abstraction based controller synthesis is a well established two-step procedure to solve complex ...