Formal specification and development in Z and B : proceedings - Bert, Didier (Herausgeber); ZB (2 : 2002 : Grenoble) (Lecture notes in computer science, 2002)