Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. - Jan Tretmans; Pim Kars; Ed Brinksma (Protocol Test Systems, 1991)

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

Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. - Pim Kars (FORTE, 1994)

The application of Promela and Spin in the BOS project. - Pim Kars (The Spin Verification System, 1996)

Formal Methods in the Design of s Storm Surge Barrier Control System. - Pim Kars (European Educational Forum: School on Embedded Systems, 1996)

Gossiping Girls Are All Alike. - Theo C. Ruys; Pim Kars (SPIN, 2012)