An industrial case study of structural testing applied to safety-critical embedded software