A mechanically proved development combining B abstract systems and Spin | IEEE Conference Publication | IEEE Xplore