Emanuele Ciapessoni Francesco Maestri Judit Szanto Stefano Crespi-Reghizzi Andrea Ornstein Giuseppe Psaila Partitioning of Hierarchical Automation Systems. 143- 2001 conf/ecrts/2001 ECRTS http://csdl.computer.org/comp/proceedings/ecrts/2001/1221/00/12210143abs.htm db/conf/ecrts/ecrts2001.html#CiapessoniMSCOP01