Title: Petri Net and Fault Tree analysis : combining two techniques for a software safety analysis on an embedded military application