Verifying the Precedence Property Pattern Using the B Method | IEEE Conference Publication | IEEE Xplore