Playing Dependable Embedded Systems - Jörg Henkel