A paper by Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe and Tim Willemse, dealing with mCRL2-powered analysis of access control policies, specified in XACML, has been accepted for FORTE 2022.