Jens Bendisposto Michael Leuschel BE<sup>4</sup>: The B Extensible Eclipse Editing Environment. 270-273 2007 conf/b/2007 B http://dx.doi.org/10.1007/11955757_27 db/conf/b/b2007.html#BendispostoL07a