Cevallos-Choez, T. J.; Machuca, B. Planes De Contingencia Para Buques: Método De evaluación De Seguridad Formal; FSA-OMI-2002. yaku 2021, 4, 11-17.