Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-ModellenHenning ZabelSold outTrack