ProB2-UI: A Java-Based User Interface for ProB. - Jens Bendisposto; David Geleßus; Yumiko Jansing; Michael Leuschel; Antonia Pütz; Fabian Vu; Michelle Werth (FMICS, 2021)