Jun-Cheol Park: Verifying liveness properties of multifunction composite protocols. Comput. Commun. 26(12): 1318-1329 (2003)