Text this: Safety and reliability of software based systems :