Case study on combined validation of safety & security requirements. - Michal Sojka; Michal Krec; Zdenek Hanzálek (SIES, 2014)