Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics