Foundations of Embedded Systems - Barkalov, Alexander; Barkalov, Alexander; Titarenko, Larysa; Mazurkiewicz, Małgorzata (Springer International Publishing : Imprint: Springer, 2019)