@incollection{MendlerAB+19,
  author = {Mendler, Michael and Aguado, Joaquin and Bodin, Bruno and Roop, Partha and von Hanxleden, Reinhard},
  editor = {Margaria, Tiziana and Graf, Susanne and Larsen, Kim G.},
  title = {Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading},
  booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
  year = {2019},
  publisher = {Springer International Publishing},
  address = {Cham},
  pages = {45--67},
  pdf = {festschrift18.pdf},
}