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