Formal definition of SIP end systems behavior | IEEE Conference Publication | IEEE Xplore