@inbook{bibcite_76,
  author = {Rance Cleaveland},
  title = {Scott Smolka and Me},
  year = {2019},
  journal = {From Reactive Systems to Cyber-Physical Systems},
  pages = {1{\textendash}6},
  publisher = {Springer, Cham},
  language = {eng},
}