Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
Postprint
Published in: Integrated Formal Methods - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Editors: Paula Herber, Anton Wijs.