Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software - Fischer, Till (KIT Scientific Publishing)