Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles (Studies in Computational Intelligence, 520, Band 520)