Java software development with event B : a practical guide / - Cataño Collazos, Nestor,