Dependability assessment of an industrial programmable logic controller via Parametric Fault-tree and High-Level Petri Nets