Castellanos Ardila, Julieth Patricia. “Facilitating Automated Compliance Checking in the Safety-Critical Context”. Electronic Communications of the EASST, vol. 78, Dec. 2019, doi:10.14279/tuj.eceasst.78.1087.