Modelagem e especificação de sistemas de tempo real são exploradas com foco em requisitos temporais e comportamento dinâmico.

O texto aborda técnicas para projetar e verificar respostas em sistemas embarcados, com exemplos de aplicação a controladores e dispositivos industriais.

Discussões sobre sincronização, escalonamento e dependabilidade oferecem subsídios para quem lida com restrições de tempo em software e hardware.