Software reliability models and safety assessment methods