Rules for translating interaction protocols into a B formal representation | IEEE Conference Publication | IEEE Xplore