The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems
Non-public and public online community participation: Needs, attitudes and behavior