PostB: The Post-condition Extension onto the B-Method | IEEE Conference Publication | IEEE Xplore