APSL: A Light Weight Testing Tool for Protocols with Complex Messages. - Tom Tervoort; I. S. W. B. Prasetya (Haifa Verification Conference, 2017)

Modeling and Testing Implementations of Protocols with Complex Messages. - Tom Tervoort; I. S. W. B. Prasetya (CoRR, 2018)

Solutions for Mitigating Cybersecurity Risks Caused by Legacy Software in Medical Devices: A Scoping Review. - Tom Tervoort; Marcela T. de Oliveira; Wolter Pieters; Pieter H. A. J. M. van Gelder; Sílvia Delgado Olabarriaga; Henk A. Marquering (IEEE Access, 2020)