Softwarekorrektur online: Patchen in Realzeitsystemen am Beispiel von SPC-Rechnern. - Arnulf Deinzer (Kovač, 1999)