Safety and Reliability of Software Based Systems