An analysis of fixed-priority schedulability on a multiprocessor
scientific article; zbMATH DE number 5073622