Publications
- Delta modeling for variant-rich and evolving manufacturing systems In Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, pages 32-41, May 2014. ACM. Details BIB
- Formal Technical Process Specification and Verification for Automated Production Systems In System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, pages 287–303, 2014. Details DOI BIB