Leram - Systems Dependability Assessment: Benefits of Petri Net Models (Systems and Industrial Engineering) (English Edition)