TP_GM.tplan2

                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE;
                    to the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity receives a 100_Trying containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_100TRY_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_180RINGING_01
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.3.5 and 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchievedInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 180_Ringing containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_180RINGING_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_180RINGING_02
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.3.5 and 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends a 180_Ringing containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    to the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_P_CSCF_B entity receives a 180_Ringing containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_180RINGING_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_180RINGING_03
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.3.5 and 6.1"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchievedInitialINVITE
                }
                then {
                    the IMS_P_CSCF_B entity sends a 180_Ringing containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_180RINGING_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_180RINGING_04
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.3.5 and 6.1"
        
        Config Id CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends a 180_Ringing containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    to the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity receives a 180_Ringing containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_180RINGING_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_01
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchievedInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_02
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.4 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_P_CSCF_B entity receives a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_03
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchievedInitialINVITE
                }
                then {
                    the IMS_P_CSCF_B entity sends a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_04
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.4 and 6.1.1"
        
        Config Id CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity receives a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_ACK_01
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchievedINVITE
                }
                then {
                    the IMS_P_CSCF_A entity receives an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_ACK_02
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity hasAchievedInitialINVITE
                }
                then {
                    the UE_B entity receives an ACK containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE;
                    from the IMS_P_CSCF_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_ACK_03
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchievedINVITE
                }
                then {
                    the IMS_P_CSCF_B entity receives an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_ACK_04
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity receives an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE;
                    to the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity sends an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_RE_INVITE_01
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend an ReINVITE
                }
                then {
                    the IMS_P_CSCF_A entity receives an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0";;;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_RE_INVITE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_RE_INVITE_02
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity isRequestedToSend an ReINVITE
                }
                then {
                    the IMS_P_CSCF_B entity sends an ReINVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0";;;
                    from the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_RE_INVITE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_RE_INVITE_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend an ReINVITE
                }
                then {
                    the IMS_P_CSCF_B entity receives an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0";;;
                    from the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_RE_INVITE_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_RE_INVITE_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_RMI_A
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend an ReINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0";;;
                    from the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_RE_INVITE_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_01
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2] Clauses 5.1.5 (1st paragraph), 5.2.8.2 and 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_A entity receives a BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_02
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2] Clauses 5.1.5 (1st paragraph), 5.2.8.2 and 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_B entity sends an BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE;
                    to the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_03
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Network initiated)."
        
        Reference 
            "ETSI TS 124 229 [2] Clauses 5.1.5 (1st paragraph), 5.2.8.2 and 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isNoLongerAvailable
                }
                then {
                    the IMS_P_CSCF_A entity sends an BYE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2] Clauses 5.1.5 (1st paragraph), 5.2.8.2 and 6.1"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_B entity receives a BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_05
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2] Clauses 5.1.5 (1st paragraph), 5.2.8.2 and 6.1"
        
        Config Id CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_A entity receives an BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_05
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_06
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Network initiated)."
        
        Reference 
            "ETSI TS 124 229 [2] Clauses 5.1.5 (1st paragraph), 5.2.8.2 and 6.1"
        
        Config Id CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_A entity sends an BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE;
                    to the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_06
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_BYE_01
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.5 and 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE;
                    from the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_BYE_02
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Terminating Leg)."