Safety case framework to provide justifiable reliability numbers for software systems