Orna Kupferman: Recent Challenges and Ideas in Temporal Synthesis. SOFSEM 2012: 88-98