Using Model Checking to Analyze the System Behavior of the LHC Production Grid. - Daniela Remenska; Tim A. C. Willemse; Kees Verstoep; Wan J. Fokkink; Jeff Templon; Henri E. Bal (CCGRID, 2012)

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. - Daniela Remenska; Jeff Templon; Tim A. C. Willemse; Philip Homburg; Kees Verstoep; Adrian Casajus Ramo; Henri E. Bal (NASA Formal Methods, 2013)

Using model checking to analyze the system behavior of the LHC production grid. - Daniela Remenska; Tim A. C. Willemse; Kees Verstoep; Jeff Templon; Henri E. Bal (Future Gener. Comput. Syst., 2013)

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. - Daniela Remenska; Tim A. C. Willemse; Jeff Templon; Kees Verstoep; Henri E. Bal (FORTE, 2014)