Desnitsky, V., Chechulin, A., Kotenko, I., Levshun, D. and Kolomeec, M. (2016) “Combined Design Technique for Secure Embedded Devices Exemplified by a Perimeter Protection System”, SPIIRAS Proceedings, 5(48), pp. 5-31. DOI: 10.15622/sp.48.1.