A topological formal treatment for scenario-based software specification of concurrent real-time systems - Miriam C. B. Alves; Christine C. Dantas; Nanci Naomi Arai; Rovedy B. da Silva (CoRR, 2008)