Verfahren zur Kontrollflussüberwachung in sicherheitsgerichteten Rechensystemen185 pages7 hours of readingTrack