Bernard van Vlimmeren

Slimbus: An Audio, Data And Control Interface For Mobile Devices

Juha Backman, Chris Travis, Kenneth Boyce, 2006 .

Complementary verification of embedded software using ASD and Uppaal

J. Hooman, Bernard van Vlimmeren, R. Doornbos, 2012, 2012 International Conference on Innovations in Information Technology (IIT).