H-RAFT - heuristic reachability analysis for fault tolerance protocols modelled in SDL | IEEE Conference Publication | IEEE Xplore