The journal paper “Formal verification of OIL component specifications using mCRL2” by Olav Bunte, Louis van Gool and Tim Willemse has been accepted for the special issue FMICS 2019/2020 of the journal on Software Tools for Technology Transfer. This paper is written in the context of the VOICE-B project, which is a collaboration of Canon Production Printing and Eindhoven University of Technology.