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