Return to Article Details Opacidade de sistemas a eventos discretos modelados por uma classe de autômatos temporizados Download Download PDF