Michael Glaß: Dependability-Aware System-Level Design for Embedded Systems. University of Erlangen-Nuremberg 2011, ISBN 978-3-86853-857-1, 1-223