UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. - Mammar, Amel; Laleau, Régine (Journal of Database Management, 2006)