Emerson Ribeiro de Mello Savas Parastatidis Philipp Reinecke Chris Smith Aad P. A. van Moorsel Jim Webber Secure and Provable Service Support for Human-Intensive Real-Estate Processes. 495-504 2006 conf/IEEEscc/2006 IEEE SCC http://doi.ieeecomputersociety.org/10.1109/SCC.2006.84 db/conf/IEEEscc/scc2006.html#MelloPRSMW06