A Framework for Test Selection. - Ed Brinksma; Jan Tretmans; Louis Verhaard (PSTV, 1991)

Test derivation for SDL based on ACTs. - Finn Kristoffersen; Louis Verhaard; Michael Zeeberg (FORTE, 1992)

A Queue Model Relating Synchronous and Asynchronous Communication. - Jan Tretmans; Louis Verhaard (PSTV, 1992)

On Asynchronous Testing. - Louis Verhaard; Jan Tretmans; Pim Kars; Ed Brinksma (Protocol Test Systems, 1992)

Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation. - Wiet Bouma; Willem J. M. Levelt; Alfo Melisse; Kees Middelburg; Louis Verhaard (IS&N, 1994)

An Introduction to Z.105. - Louis Verhaard (Comput. Networks ISDN Syst., 1996)

Combining SDL and C. - Paer-Olof Haokansson; Jan Karlsson; Louis Verhaard (SDL Forum, 1997)