Deixando "Testes" do capítulo 1 como subsection de "análise e
verificação"
Modificando a section "Formalismos para Especificação e Verificação de
Sistemas de Tempo Real" de acordo com as sugestões do professor.

Signed-off-by: Cristiano Fernandes <cristiano@azapp.net>