Rescuing a legacy as a first Eiffel project | IEEE Conference Publication | IEEE Xplore