An EDSL for modeling continuous time systems.
José E. G. de Medeiros, George Ungureanu and Ingo Sander. 2018. Bridging discrete and continuous time models with Atoms. In Proceedings of the Conference on Design, Automation & Test in Europe (DATE '18). Dresden, Germany, March 2018 [ pre-print ]