Generating Test Cases for Infinite System Specifications. - Stefan Heymer; Jens Grabowski (FBT, 1997)

Formal Methods and Conformance Testing –or– What are we testing anyway? - Stefan Heymer; Jens Grabowski (FBT, 1998)

Towards the Generation of Distributed Test Cases Using Petri Nets. - Stefan Heymer; Jens Grabowski (FBT, 1999)

A Semantics for MSC Based on Petri Net Components. - Stefan Heymer (SAM, 2000)