@misc{indiciae7f7b9b7f9739,
  title = {Conformance Verification of Normative Specifications using C-O Diagrams},
  author = {Gregorio Díaz and Luis Llana and Valentín Valero and Jose Antonio Mateo},
  year = {2012},
  doi = {10.4204/eptcs.94.1},
  url = {https://arxiv.org/abs/1209.2237},
  note = {Source identifier: 1209.2237}
}