Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson: Tool Support for Correctness-by-Construction. FASE 2019: 25-42