Anita Pos, Hans Akkermans: 007: A System for Automated Model Revision. ESM 1996: 50-56