Software Synthesis for System Level Design Using Process Execution Trees. - Leo J. van Bokhoven; Jeroen Voeten; Marc Geilen (EUROMICRO, 1999)

Object-oriented modelling and specification using SHE. - Marc Geilen; Jeroen Voeten; P. H. A. van der Putten; Leo J. van Bokhoven; M. P. J. Stevens (Comput. Lang., 2001)

Platform-independent Design for Embedded Real-time Systems . - Jinfeng Huang; Jeroen Voeten; Andre Ventevogel; Leo J. van Bokhoven (FDL, 2003)