Formal Safety Analysis in Industrial Practice. - Ilyas Daskaya; Michaela Huhn; Stefan Milius (FMICS, 2011)