@inbook{inbookcd9da869,
title   = {The safety analysis case in the São Paulo Metro},
author = {Camargo Júnior, João Batista and Almeida Junior, Jorge Rady de},
year = {1999},
publisher = {Springer},
journal   = {Towards system safety}
}