On Model Checker Based Testing of Electronic Contracting Systems. - Abubkr Abdelsadiq; Carlos Molina-Jiménez; Santosh K. Shrivastava (CEC, 2010)

A high-level model-checking tool for verifying service agreements. - Abubkr Abdelsadiq; Carlos Molina-Jiménez; Santosh K. Shrivastava (SOSE, 2011)

A toolkit for model checking of electronic contracts. - Abubkr Abdelsadiq (2013)