Automatic Verification of Safety Rules for a Subway Control Software. - Nelson Guimarães Ferreira; Paulo Sérgio Muniz Silva (SBMF, 2004)