Specification of Audio/Video Exchange Based on the Reference Model of ODP. - Valérie Gay; Peter Leydekkers; Robert Huis in 't Veld (Broadband Islands, 1994)

Specification of Multiparty Audio and Video Interaction Based on the Reference Model of Open Distributed Processing. - Valérie Gay; Peter Leydekkers; Robert Huis in 't Veld (Comput. Networks ISDN Syst., 1995)

Experiences with a Compositional Model Checker in the Healthcare Domain. - Jozef Hooman; Robert Huis in 't Veld; Mathijs Schuts (FHIES, 2011)