Castellanos Ardila, J. P. Facilitating Automated Compliance Checking in the Safety-Critical Context. eceasst 2019, 78.