@misc{indiciae4bf646261ca8,
  title = {Towards a Property Preserving Transformation from IEC 61131-3 to BIP},
  author = {Jan Olaf Blech and Anton Hattendorf and Jia Huang},
  year = {2010},
  url = {https://arxiv.org/abs/1009.0817},
  note = {Source identifier: 1009.0817}
}