2019-09-192023-07-10https://fis.uni-bamberg.de/handle/uniba/60026Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik