Specification, allocation and schedulability analysis for fixed priority hard real-time systems. - Shuhua Wang 002 (VDI-Verlag, 2000)