Predicting reliability of software in industrial systems using a Petri net based approach: A case study on a safety system used in nuclear power plant.