"Niezawodnośc oprogramowania w systemach krytycznych dla bezpieczeństwa: A new approach to develop reliable, low cost safety critical systems" omawia szczególowo różne techniki poprawy niezawodności oprogramowania w systemach krytycznych. Książka zawiera również krytyczną analizę obecnych metod stosowanych w rozwoju systemów krytycznych dla bezpieczeństwa. Z pewnością książka ta ujawnia, w jaki sposób można opracowac niezawodne oprogramowanie dla systemów o krytycznym znaczeniu dla bezpieczeństwa przy niskich kosztach i wysokiej niezawodności. Książka może byc wykorzystywana do nauczania zarówno na poziomie licencjackim, jak i podyplomowym.