Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-ModellenHenning ZabelAusverkauftBuch bewachen