Jan Olaf Blech, Anton Hattendorf, Jia Huang. An Invariant Preserving Transformation for PLC Models. In 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2011, Newport Beach, CA, USA, March 28-31, 2011. pages 63-71, IEEE Computer Society, 2011. [doi]
Abstract is missing.