Partitioning of Hierarchical Automation Systems. - Emanuele Ciapessoni; Francesco Maestri; Judit Szanto; Stefano Crespi-Reghizzi; Andrea C. Ornstein; Giuseppe Psaila (ECRTS, 2001)