"The Mathematical Foundations of Physical Systems Modeling Languages."

Albert Benveniste, Benoît Caillaud, Mathias Malandain (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics