Pinquié Romain, Micouin Patrice, Veron Philippe, Segonds Frédéric. Property model methodology : a case study with Modelica.  2016.