Journal: Rel. Eng. & Sys. Safety