Don S. Batory A Modeling Language for Program Design and Synthesis. 39-58 2007 Lipari Summer School http://dx.doi.org/10.1007/978-3-540-89762-0_2 conf/lipari/2007 db/conf/lipari/lipari2007.html#Batory07