Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration - Cheng Bo (Springer, 2012)