V. Pinkevich and A. Platunov, “Using Architectural Abstractions in Embedded System Design”, wipiec, vol. 1, no. 1, Jul. 2021.