Leonardo Michelon,  Simone André da Costa,  Leila Ribeiro. 

This paper presents a formal approach to specify and analyze real time systems. We extend Object-Based Graph Grammars, a description technique suitable for the specification of asynchronous distributed systems, to be able to explicitly model time constraints. The semantics of the systems is defined in terms of Timed Automata, allowing the automatic verification of properties.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sbes/2006/007.pdf

Processando consulta.