@misc{indiciae40bf983d29a9,
  title = {Simulator Semantics for System Level Formal Verification},
  author = {Toni Mancini and Federico Mari and Annalisa Massini and Igor Melatti and Enrico Tronci},
  year = {2015},
  doi = {10.4204/eptcs.193.7},
  url = {https://arxiv.org/abs/1509.07201},
  note = {Source identifier: 1509.07201}
}