Axel Jantsch: Models of Embedded Computation. Embedded Systems Handbook 2005