Deep semantic links of TCSP and object-Z: TCOZ approach - Mahony, B. (2013)
10.1007/s001650200004