Publications
- Advanced software engineering in industrial automation Control Engineering Practice, 21(11):1606-1607, November 2013. Details URL BIB
- Formal Validation of Downtimeless System Evolution in Embedded Automation Controllers In ACM Transactions on Embedded Computer Systems (TECS), volume 12, pages 17:1-17:17, January 2013. ACM. Details URL DOI BIB