Models by B Engineering (1)