Lüttgen, GeraldGeraldLüttgen0000-0002-0925-4870Vogler, WalterWalterVogler2019-09-192014-01-1720131860-5974https://fis.uni-bamberg.de/handle/uniba/2535engModal Interface Automataarticle10.2168/LMCS-9(3:4)2013