Dependable Embedded Systems | lit.salon