PROCESS CONTROL SYNTHESIS IMPROVED BY STRUCTURAL MODEL PROPERTIES In Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems PECCS - Volume 1, 343-351, 2012 , Rome, Italy