publication venue for Estimation and evaluation of the 1004-architecture for safety related systems 2011 Modeling security aspects in safety environment 2011