Nir Piterman Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development. 45-49 2013 MFCS https://doi.org/10.1007/978-3-642-40313-2_6 conf/mfcs/2013 db/conf/mfcs/mfcs2013.html#Piterman13