Tool support for the teaching of state-based behavior modeling. - Zöllner, Christian; Adriano, Christian M.; Wietheger, Simon; Lambers, Leen; Giese, Holger (2022)