Modelação e simulação de um sistema de sinalização ferroviária - Sagres, Cláudio José da Silva (2008)