Desnitsky, V.; Chechulin, A.; Kotenko, I.; Levshun, D.; Kolomeec, M. Combined Design Technique for Secure Embedded Devices Exemplified by a Perimeter Protection System. SP 2016, 5, 5-31.