Formal safety assessment ως μεθοδολογία του ΙΜΟ : - Χατζηνικολάου, Φλώρα (2003)