The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems
scientific article; zbMATH DE number 5118226