Georgiana Macariu, Vladimir Cretu. Model-Based Analysis of Contract-Based Real-Time Scheduling. In Sunggu Lee, Priya Narasimhan, editors, Software Technologies for Embedded and Ubiquitous Systems, 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA, November 16-18, 2009, Proceedings. Volume 5860 of Lecture Notes in Computer Science, pages 227-239, Springer, 2009. [doi]
Abstract is missing.