B 2007: formal specification and development in B 7th International Conference of B Users, Besancon, France, January 17-19, 2007 ; proceedings (Springer, 2006)