Robert L. Probert, Yanping Chen, Behrad Ghazizadeh, D. Paul Sims, Maurus Cappa: Formal verification and validation for e-commerce: theory and best practices. Inf. Softw. Technol. 45(11): 763-777 (2003)