Lüttgen, GeraldGeraldLüttgen0000-0002-0925-4870Mendler, MichaelMichaelMendler2019-09-192014-09-2420021529-3785https://fis.uni-bamberg.de/handle/uniba/9778engThe intuitionism behind statecharts stepsarticle10.1145/504077.504078