Aligning the Map Requirements Modelling with the B-method for Formal Software Development | IEEE Conference Publication | IEEE Xplore