Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. - Anton Wijs; Jaco van de Pol; Elena M. Bortnik (FMICS, 2005)

Verification of timed chi models using uppaal. - Elena M. Bortnik; D. A. van Beek; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (ICINCO, 2005)

Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. - Elena M. Bortnik; Nikola Trcka; Anton Wijs; Bas Luttik; Joanna M. van de Mortel-Fronczak; Jos C. M. Baeten; Wan J. Fokkink; Jacobus E. Rooda (J. Log. Algebraic Methods Program., 2005)

Model-based system analysis using Chi and Uppaal: An industrial case study. - N. C. W. M. Braspenning; Elena M. Bortnik; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (Comput. Ind., 2008)

Solving scheduling problems by untimed model checking. - Anton Wijs; Jaco van de Pol; Elena M. Bortnik (Int. J. Softw. Tools Technol. Transf., 2009)