Abdul Babar Vladimir Tosic John Potter Aligning the Map Requirements Modelling with the B-method for Formal Software Development. 17-24 2007 conf/apsec/2007 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.17 db/conf/apsec/apsec2007.html#BabarTP07