Non-Deterministic and Default Behaviour. - Marc F. Witteman; Ronald C. van Wuijtswinkel; S. Ruud Berkhout (Protocol Test Systems, 1992)

ATM Broadband Network Testing Using the Ferry Principle. - Marc F. Witteman; Ronald C. van Wuijtswinkel (Protocol Test Systems, 1993)

Design for Testability in Hardware-Software Systems. - Harald P. E. Vranken; Marc F. Witteman; Ronald C. van Wuijtswinkel (IEEE Des. Test Comput., 1996)