Validation in context. - Lex Heerink; Ed Brinksma (PSTV, 1995)

Refusal Testing for Classes of Transition Systems with Inputs and Outputs. - Lex Heerink; Jan Tretmans (FORTE, 1997)

Factorized Test Generation for Multi-Input/Output Transition Systems. - Ed Brinksma; Lex Heerink; Jan Tretmans (IWTCS, 1998)

Ins and Outs in Refusal Testing. - Lex Heerink (1998)

Formal Test Automation: A Simple Experiment. - Axel Belinfante; Jan Feenstra; René G. de Vries; Jan Tretmans; Nicolae Goga; Loe M. G. Feijs; Sjouke Mauw; Lex Heerink (IWTCS, 1999)

Formal Test Automation: The Conference Protocol with PHACT. - Lex Heerink; Jan Feenstra; Jan Tretmans (TestCom, 2000)

Enhancing discovery with liveness [network device disappearance detection protocol]. - Maarten Bodlaender; Jarno Guidi; Lex Heerink (CCNC, 2004)

Reusable Model Transformation Patterns. - Maria-Eugenia Iacob; Maarten W. A. Steen; Lex Heerink (EDOCW, 2008)