Thread allocation protocols for distributed real-time and embedded systems (2005)

by C Sánchez, H B Sipma, V Subramonian, C Gill, Z Manna
Venue:in 25th IFIP WG 2.6 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE’05