Anton Wijs, Jaco van de Pol, Elena M. Bortnik. Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. In Tiziana Margaria, Mieke Massink, editors, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005. pages 54-61, ACM, 2005. [doi]
Abstract is missing.