Dr Jan Ringert Posted on September 17, 2021, updated on September 24, 2021 by verifiability Lecturer in Model-based Software Engineering.