@misc{indiciae63004d15b49a,
  title = {MDA Models and PIM/PSM Transformations Using Extended Automata},
  author = {David Dayan and Rivka Kaplinsky and Aryeh Wiesen and Simon Bloch},
  year = {2020},
  doi = {10.1109/swste.2007.13},
  url = {https://arxiv.org/abs/2008.00474},
  note = {Source identifier: 2008.00474}
}