Text this: Safety and Reliability of Software Based Systems :