The Term Processor Generator Kimwitu. - Peter van Eijk; Axel Belinfante; Henk Eertink; Henk Alblas (TACAS, 1997)

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 TGV/TORX. - Lydie du Bousquet; Solofo Ramangalahy; Séverine Simon; César Viho; Axel Belinfante; René G. de Vries (TestCom, 2000)

Automated Testing in Practice: The Highway Tolling System. - René G. de Vries; Axel Belinfante; Jan Feenstra (TestCom, 2002)

Tools for Test Case Generation. - Axel Belinfante; Lars Frantzen; Christian Schallhart (Model-Based Testing of Reactive Systems, 2004)

Timed Testing with TorX. - Henrik C. Bohnenkamp; Axel Belinfante (FM, 2005)

JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. - Axel Belinfante (TACAS, 2010)

DFTCalc: A Tool for Efficient Fault Tree Analysis. - Florian Arnold; Axel Belinfante; Freark I. van der Berg; Dennis Guck; Mariëlle Stoelinga (SAFECOMP, 2013)

Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost. - Marten Sijtema; Axel Belinfante; Mariëlle Stoelinga; Lawrence Marinelli (Sci. Comput. Program., 2014)

JTorX: exploring model-based testing. - Axel Belinfante (2014)