Title: A note about HARP's state trimming method
Subjects: Reliability analysis, Failure modes, Fault tolerance