When human life depends on software - introduction to safety-critical systems - Maciej Gajdzica