Zonghua Gu. Solving Real-Time Scheduling Problems with Model-Checking. In Laurence Tianruo Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin, editors, Embedded Software and Systems, Second International Conference, ICESS 2005, Xi an, China, December 16-18, 2005, Proceedings. Volume 3820 of Lecture Notes in Computer Science, pages 186-197, Springer, 2005. [doi]
Abstract is missing.