Emanuele Ciapessoni Francesco Maestri Judit Szanto Stefano Crespi-Reghizzi Andrea C. Ornstein Giuseppe Psaila Partitioning of Hierarchical Automation Systems. 143- 2001 conf/ecrts/2001 ECRTS http://doi.ieeecomputersociety.org/10.1109/EMRTS.2001.934018 db/conf/ecrts/ecrts2001.html#CiapessoniMSCOP01