"Fiabilidade do software em sistemas críticos de segurança: Uma nova abordagem para desenvolver sistemas críticos de segurança fiáveis e de baixo custo" discute, em pormenor, várias técnicas para melhorar a fiabilidade do software em sistemas críticos. Além disso, o livro contém uma análise crítica dos métodos actuais utilizados no desenvolvimento de sistemas críticos de segurança. Definitivamente, este livro revela como se pode desenvolver um software fiável para sistemas críticos de segurança com baixo custo e elevada fiabilidade. O livro pode ser utilizado para o ensino a nível de licenciatura e de pós-graduação.