@misc{indiciaec603077a2cbf,
  title = {A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts},
  author = {Jan Olaf Blech},
  year = {2011},
  url = {https://arxiv.org/abs/1102.3529},
  note = {Source identifier: 1102.3529}
}