Specification and Verification of Normative Texts Using C-O Diagrams | IEEE Journals & Magazine | IEEE Xplore