@inproceedings{pinquie:hal-01490122,
  TITLE = {{Property model methodology : a case study with Modelica}},
  AUTHOR = {Pinqui{\'e}, Romain and Micouin, Patrice and Veron, Philippe and Segonds, Fr{\'e}d{\'e}ric},
  URL = {https://amu.hal.science/hal-01490122},
  BOOKTITLE = {{Eleventh international symposium}},
  ADDRESS = {Unknown, Unknown Region},
  YEAR = {2016},
  HAL_ID = {hal-01490122},
  HAL_VERSION = {v1},
}