DOI,IST REx ID,Research Group,Title of publication
10.1145/1967701.1967734,3348,KrCh,Synthesis of memory efficient real time controllers for safety objectives