Integration of analysis techniques in security and fault-tolerance by G. Lenzini