Title: Towards a Formalized Modelica Subset Authors: Lucas Satabin, Jean-Louis Colaço, Olivier Andrieu and Bruno Pagano Links: Abstract, Full paper
