Hendrik Simon, Stefan Kowalewski. Static analysis of Sequential Function Charts using abstract interpretation. In 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016. pages 1-4, IEEE, 2016. [doi]