TY  - RPRT
TI  - Towards a Property Preserving Transformation from IEC 61131-3 to BIP
AU  - Jan Olaf Blech
AU  - Anton Hattendorf
AU  - Jia Huang
PY  - 2010
UR  - https://arxiv.org/abs/1009.0817
ID  - 1009.0817
ER  -