New Results in Dependability and Computer Systems - Zamojski (Springer International Publishing, 2013)