Authors: Marten Lohstroh, Inigo Incer, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto Sangiovanni‐Vincentelli - Lecture notes in computer science 2019 cited by 53
