@misc{indiciae9a976a06a9fa,
  title = {Coloured Petri Net Refinement Specification and Correctness Proof with Coq},
  author = {Choppy, Christine and Mayero, Micaela and Petrucci, Laure},
  year = {2009},
  url = {https://ntrs.nasa.gov/citations/20100024456},
  note = {Source identifier: 20100024456}
}