Automatic Handel-C Generation from MATLAB. - Bart Rem; Ajeesh Gopalakrishnan; Tom J. H. Geelen; Herman W. Roebbers (CPA, 2005)

Designing a Mathematically Verified I2C Device Driver Using ASD. - Arjen Klomp; Herman W. Roebbers; Ruud Derwig; Leon Bouwmeester (CPA, 2009)

An Android-based body area network gateway for mobile health applications. - Marco Altini; Julien Penders; Herman W. Roebbers (Wireless Health, 2010)