Wang, Ligang (2002) Modelling and verification of interworking between SIP and H.323. Masters thesis, Concordia University.