J. P. Castellanos Ardila, “Facilitating Automated Compliance Checking in the Safety-critical Context”, eceasst, vol. 78, Dec. 2019.