@TechReport{BKR+20,
  author      = "Jens Christoph B{\"u}rger and Hendrik Kausch and Deni Raco and Jan Oliver Ringert and Bernhard Rumpe and Sebastian St{\"u}ber and Marc Wiartalla",
  title       = {{Towards an Isabelle Theory for distributed, interactive systems - the untimed case}},
  institution = "RWTH Aachen",
  keywords    = "FOCUS, formal verification, theorem prover, Isabelle, software engineering",
  year        = "2020",
  number      = "AIB-2020-02",
  month       = jan,
  url         = "http://aib.informatik.rwth-aachen.de/2020/2020-02.pdf",
}