Castellanos Ardila, J.P. 2019. Facilitating Automated Compliance Checking in the Safety-critical Context. Electronic Communications of the EASST. 78, (Dec. 2019). DOI:https://doi.org/10.14279/tuj.eceasst.78.1087.