Castellanos Ardila JP. Facilitating Automated Compliance Checking in the Safety-critical Context. eceasst [Internet]. 2019 Dec. 16 [cited 2024 Dec. 4];78. Available from: https://eceasst.org/index.php/eceasst/article/view/2238