@misc{indiciaedb70dcafb5ec,
  title = {Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms},
  author = {Marcello M. Bersani and Carlo A. Furia and Matteo Pradella and Matteo Rossi},
  year = {2009},
  doi = {10.1109/sefm.2009.16},
  url = {https://arxiv.org/abs/0907.5074},
  note = {Source identifier: 0907.5074}
}