Verifying time partitioning in the DEOS scheduling kernel
scientific article; zbMATH DE number 5007750
scientific article