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