Synthesis of Software from Logical Constraints Topics: Model Execution and Simulation; Model Transformation In Proceedings of the 7th International Conference on Software Paradigm Trends ICSOFT - Volume 1, 355-358, 2012 , Rome, Italy