@inproceedings{pinquie:hal-01357796,
  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://hal.science/hal-01357796},
  BOOKTITLE = {{Tools and Methods of Competitive Engineering (TMCE)}},
  ADDRESS = {Aix-en-Provence, France},
  PAGES = {79-91},
  YEAR = {2016},
  MONTH = May,
  KEYWORDS = {Model-Bases Systems Engineering ; Validation ; Verification ; Modelica ; Property-Based Requirement ; Property-Model Methodology},
  PDF = {https://hal.science/hal-01357796v1/file/LSIS-INSM_TMCE_Pinquie_2016.pdf},
  HAL_ID = {hal-01357796},
  HAL_VERSION = {v1},
}