A formal proof of the deadline driven scheduler in PPTL axiomatic system
scientific article; zbMATH DE number 6351437
scientific article