Title: B 2007 : Formal Specification and Development in B