The paper Validation of Supervisory Control Synthesis Tool CIF Using Model Checker mCRL2 by Michel Reniers and Jeroen Keiren has been accepted for IEEE CASE 2024. The paper describes how the mCRL2 model checker can be used to verify that a supervisor that was synthesized using CIF is indeed safe, nonblocking and controllable.