Nòmos 3: Reasoning about regulatory compliance of requirements | IEEE Conference Publication | IEEE Xplore