Architecting Dependable Systems IVde Cristina Gacek, Rogério de Lemos, Alexander RomanovskyMateriasOperating systems (Computers)Software engineeringComputer architectureCongressesComputer systemsReliabilityFault-tolerant computingComputers, reliability