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