The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems
Electronic Commerce Research
Mark Alan Junho Song
G. Gorgulho
M. Song