metrics for object-oriented software reliability assessment - application to a flight manager.pdf