Luca Ferrarini, Alessio Dede: A modular and hierarchical meta-model for the control design of manufacturing systems. CASE 2010: 150-155