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