Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-ModellenHenning ZabelÉpuiséPrévenez-moi