_id,doi,title 3348,10.1145/1967701.1967734,Synthesis of memory efficient real time controllers for safety objectives