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