Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados - João Cadamuro Junior (2007)

Efficient Monitoring of Embedded Real-Time Systems. - João Cadamuro Junior; Douglas Renaux (ITNG, 2008)