A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction. - Rajaa Filali; Mohamed Bouhdadi (J. Comput. Networks Commun., 2014)