Oscar Ljungkrantz, Knut Åkesson, Martin Fabian. Formal specification and verification of components for industrial logic control programming. In 2008 IEEE International Conference on Automation Science and Engineering, IEEE CASE 2008, Washington, DC, USA, August 23-26, 2008. pages 935-940, IEEE, 2008. [doi]