A fault-aware model checker for message passing systems