2020-08-202023-07-10https://fis.uni-bamberg.de/handle/uniba/60347Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic