A colleague recommended a paper by Babar, Tosic and Potter, entitled "Aligning the Map Requirements Modelling with the B-method for Formal Software Development."  There is certainly some overlap with my research, and it’s interesting for me to see Problem Frames being integrated in the approach presented as well.

To be honest, I was a little disapointed.  The most crucial part of the method is how to get from the requirements to the formal model.  This is described in Sec. 3, but in such an informal manner that I don’t see that much value.  It shows that the methods are compatible, but little beyond that.  I guess that’s what the authors mean by "aligning" the methods.