Foundations of Embedded Systems - Barkalov (Springer International Publishing, 2019)