Martin Radetzki Languages for Embedded Systems and their Applications - Germany Springer 2014 ISBN: 9781402097140 Subjects--Topical Terms: Languages for Embedded Systems and their Applications