Towards a Property Preserving Transformation from IEC 61131-3 to BIP - Jan Olaf Blech; Anton Hattendorf; Jia Huang (CoRR, 2010)

An Invariant Preserving Transformation for PLC Models. - Jan Olaf Blech; Anton Hattendorf; Jia Huang (ISORC Workshops, 2011)

Shared memory protection for spatial separation in multicore architectures. - Anton Hattendorf; Andreas Raabe; Alois C. Knoll (SIES, 2012)