Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes. - Piotr Rolinski; Jean-Luc Raffy (CSMR, 2000)