Miriam C. B. Alves Christine C. Dantas Nanci N. Arai Rovedy B. da Silva A topological formal treatment for scenario-based software specification of concurrent real-time systems http://arxiv.org/abs/0802.0212 2008 CoRR abs/0802.0212 db/journals/corr/corr0802.html#abs-0802-0212 informal publication