Comparison of methodologies for the safety and dependability assessment of an industrial programmable logic controller