Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen.