Coverage analysis for message flows | IEEE Conference Publication | IEEE Xplore