Expressing Requirements in Modelica

Lena Buffoni, Peter Fritzson. Expressing Requirements in Modelica. Simul. Notes Eur., 25(3-4):185-189, 2015. [doi]

@article{BuffoniF15,
  title = {Expressing Requirements in Modelica},
  author = {Lena Buffoni and Peter Fritzson},
  year = {2015},
  doi = {10.11128/sne.25.tn.10314},
  url = {https://doi.org/10.11128/sne.25.tn.10314},
  researchr = {https://researchr.org/publication/BuffoniF15},
  cites = {0},
  citedby = {0},
  journal = {Simul. Notes Eur.},
  volume = {25},
  number = {3-4},
  pages = {185-189},
}