1. Vincent Aravantinos et al. “AutoFOCUS 3: Tooling Concepts for Seamless, Model- based Development of Embedded Systems”. In:Joint Proceedings of the 8th Inter- national Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015.Ed. by Iulia Dragomir et al. Vol. 1508. CEUR Workshop Proceedings. CEUR-WS.org, 2015, pp. 19–26.url:
http://ceur-ws.org/Vol-1508/paper4.pdf
.
2. Nanette Bauer et al. “A Unifying Semantics for Sequential Function Charts”. English. In:Integration of Software Specification Techniques for Applications in Engineering. LNCS 3147. Springer, 2004.isbn: 978-3-540-23135-6.url:
http://dx.doi.org/10.1007/978-3-540-27863-4_22
.
3. Gilles Barthe, Juan Manuel Crespo, and César Kunz. “Relational Verification Using Product Programs”. In:Proceedings, 17th International Symposium on Formal Methods (FM). Ed. by Michael Butler and Wolfram Schulte. Vol. 6664. Lecture Notes in Computer Science. Springer, 2011, pp. 200–214.
4. Bernhard Beckert et al. “Regression Verification for Programmable Logic Controller Software”. In:17th International Conference on Formal Engineering Methods (ICFEM 2015). Vol. 9407. LNCS. Springer, 2015, pp. 234–251.isbn: 9783642209246.
https://doi.org/10.1007/978-3-319-25423-4_15
.
5. Sébastien Bornot, Ralf Huuck, and Ben Lukoschus. “Verification of Sequential Function Charts Using SMV”. In:PDPTA Ed. by Hamid R. Arabnia. CSREA Press, 2000.