Don't Know for Multi-valued Systems. - Alarico Campetelli; Alexander Gruler; Martin Leucker; Daniel Thoma (ATVA, 2009)

Formal Technical Process Specification and Verification for Automated Production Systems. - Georg Hackenberg; Alarico Campetelli; Christoph Legat; Jakob Mund; Sabine Teufl; Birgit Vogel-Heuser (SAM, 2014)

Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance. - Christoph Legat; Jakob Mund; Alarico Campetelli; Georg Hackenberg; Jens Folmer; Daniel Schütz; Manfred Broy; Birgit Vogel-Heuser (Autom., 2014)

Towards system development methodologies: From software to cyber-physical domain. - Maria Spichkova; Alarico Campetelli (CoRR, 2014)

A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study. - Alarico Campetelli; Maximilian Junker; Birthe Böhm; Maria Davidich; Vasileios Koutsoumpas; Xiuna Zhu; Jan Christoph Wehrstedt (Software Engineering (Workshops), 2015)

An Approach for Hybrid Modelling and Formal Verification in FOCUS. - Alarico Campetelli (2015)

Experiences of Application in the Automation Domain. - Ulrich Löwen; Birthe Böhm; Alarico Campetelli; Maria Davidich; Florian Zimmer (Advanced Model-Based Engineering of Embedded Systems, 2016)