@misc{indiciaec3a13d6c1eb7,
  title = {A topological formal treatment for scenario-based software specification of concurrent real-time systems},
  author = {Miriam C. B. Alves and Christine C. Dantas and Nanci N. Arai and Rovedy B. da Silva},
  year = {2008},
  url = {https://arxiv.org/abs/0802.0212},
  note = {Source identifier: 0802.0212}
}