B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings - Julliand, Jacques; Kouchnarenko, Olga (Springer Berlin Heidelberg, 2006)