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