@misc{indiciaeedb74480a48e,
  title = {Software and System Modeling Based on a Unified Formal Semantics},
  author = {Manfred Broy and Franz Huber and Barbara Paech and Bernhard Rumpe and Katharina Spies},
  year = {2014},
  doi = {10.1007/10692867\_2},
  url = {https://arxiv.org/abs/1411.2410},
  note = {Source identifier: 1411.2410}
}