Bakhirkin, A., Ferrere, T., Henzinger, T. A., &; Nickovicl, D. (2018). Keynote: The first-order logic of signals. In 2018 International Conference on Embedded Software (pp. 1–10). Turin, Italy: IEEE.https://doi.org/10.1109/emsoft.2018.8537203