@misc{indiciae2ed5da7eb3c4,
  title = {A Model-Derivation Framework for Software Analysis},
  author = {Bugra M. Yildiz and Arend Rensink and Christoph Bockisch and Mehmet Aksit},
  year = {2017},
  doi = {10.4204/eptcs.244.9},
  url = {https://arxiv.org/abs/1703.06576},
  note = {Source identifier: 1703.06576}
}