Recent advances in systems safety and security - Pricop, Emil; Stamatescu, Grigore (Springer, 2016)