A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study.
Alarico CampetelliMaximilian JunkerBirthe BöhmMaria DavidichVasileios KoutsoumpasXiuna ZhuJan Christoph WehrstedtPublished in: Software Engineering (Workshops) (2015)