Security Architecture and Specification Framework for Safe and Secure Industrial Automation. - Sergey Tverdyshev; Holger Blasum; Ekaterina Rudina; Dmitry Kulagin; Pavel Dyakin; Stanislav Moiseev (CRITIS, 2015)