Design and verification of protected systems with integrated devices based on expert knowledge. - V. A. Desnitskii; Igor V. Kotenko (Autom. Control. Comput. Sci., 2015)