Re-engineering of Estelle specifications for maintenance and evolution purposes | IEEE Conference Publication | IEEE Xplore