Solving scheduling problems by untimed model checking: the clinical chemical analyser case study.

Anton Wijs, Jaco van de Pol, Elena M. Bortnik

Browse the full FMICS paper archive.