Interoperable Content Protection for Digital TV. - Bart J. van Rijnsoever; Jean-Paul M. G. Linnartz (IEEE International Conference on Multimedia and Expo (III), 2000)

Conditional access system interoperability through software downloading. - Frank Kamperman; Bart J. van Rijnsoever (IEEE Trans. Consumer Electron., 2001)

Interoperable Protection for Digital Multimedia Content. - Bart J. van Rijnsoever; Peter Lenoir; Jean-Paul M. G. Linnartz (J. VLSI Signal Process., 2003)

Experience Report on Designing and Developing Control Components Using Formal Methods. - Ammar Osaiweran; Tom Fransen; Jan Friso Groote; Bart J. van Rijnsoever (FM, 2012)

Evaluating the effect of a lightweight formal technique in industry. - Ammar Osaiweran; Mathijs Schuts; Jozef Hooman; Jan Friso Groote; Bart J. van Rijnsoever (Int. J. Softw. Tools Technol. Transf., 2016)