Formalisation of a Functional Risk Management System. - Gulías, Víctor M.; Abalde, Carlos; Castro, Laura M.; Varela, Carlos (2006)