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