Static analysis of embedded real-time concurrent software with dynamic priorities
scientific article; zbMATH DE number 6903863