Automatic allocation of safety integrity levels. - Yiannis Papadopoulos; Martin Walker; Mark-Oliver Reiser; Matthias Weber 001; De-Jiu Chen; Martin Törngren; David Servat; Andreas Abele; Friedhelm Stappert; Henrik Lönn; L. Berntsson; Rolf Johansson 002; et al. (EDCC-CARS, 2010)