The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems | Publicación