Lüttgen, GeraldGeraldLüttgen0000-0002-0925-4870Merz, StephanStephanMerz2019-09-192015-07-102014https://fis.uni-bamberg.de/handle/uniba/21865engAutomated Verification of Critical Systemsconferenceobject10.1016/j.scico.2014.03.008