@book{Schellhorn2019,
  author    = {Gerhard Schellhorn},
  title     = {Verifikation abstrakter Zustandsmaschinen},
  year      = {2019},
}