An Exercise in Protocol Synthesis. - Peter van Eijk; J. Schot (FORTE, 1991)

Integrating information security in the development of telematics systems. - O. Tettero; D. J. Out; Henry M. Franken; J. Schot (SEC, 1997)

Information security embedded in the design of telematics systems. - O. Tettero; D. J. Out; Henry M. Franken; J. Schot (Comput. Secur., 1997)