Synthese speichereffizienter Echtzeitsteuerungen für Sicherheitsziele (Vollversion)