Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-ModellenHenning ZabelVyprodánoPohlídat