@inproceedings{ChiangMMP22,
  title = {Towards the adoption of model based system safety engineering in the automotive industry},
  author = {Thomas Chiang and Rodrigo Gomez Mendoza and Johan Mahmood and Richard F. Paige},
  year = {2022},
  doi = {10.1145/3550356.3563130},
  url = {https://doi.org/10.1145/3550356.3563130},
  researchr = {https://researchr.org/publication/ChiangMMP22},
  cites = {0},
  citedby = {0},
  pages = {579-587},
  booktitle = {MoDELS},
}

@article{PaigePZCA22,
  title = {Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models},
  author = {Richard F. Paige and Fiona A. C. Polack and Steffen Zschaler and Thomas Chiang and Nicholas Annable},
  year = {2022},
  doi = {10.5381/jot.2022.21.4.a6},
  url = {https://doi.org/10.5381/jot.2022.21.4.a6},
  researchr = {https://researchr.org/publication/PaigePZCA22},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {21},
  number = {4},
}

@inproceedings{AnnableCLPW22,
  title = {+ Models},
  author = {Nicholas Annable and Thomas Chiang and Mark Lawford and Richard F. Paige and Alan Wassyng},
  year = {2022},
  doi = {10.1007/978-3-031-14835-4_7},
  url = {https://doi.org/10.1007/978-3-031-14835-4_7},
  researchr = {https://researchr.org/publication/AnnableCLPW22},
  cites = {0},
  citedby = {0},
  pages = {97-110},
  booktitle = {safecomp},
}