publicações selecionadas Formal Specification and Validation of Real-Time Systems Using Circus Actions Formal Specification and Validation of Real Time Systems