Extracting Traceability between Predicates in Event-B Refinement | IEEE Conference Publication | IEEE Xplore