Elena Troubitsyna Elicitation and Specification of Safety Requirements. 202-207 2008 ICONS http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.56 conf/icons/2008 db/conf/icons/icons2008.html#Troubitsyna08