TP_SCCAS_Chapter_12_3.tplan2

		        
		        PICS Selection NONE 
		                
		        Initial conditions with {
		            the UE entity isRegisteredTo the IMS  and
		            the IUT entity hasAchievedInitialINVITE 		            
		        }
		        
		       	Expected behaviour
	            ensure that {
	            	when {
	                    the IUT entity receives a BYE containing
	                        RequestUri indicating value PX_STNSR_URI,
	                        From indicating value PX__SIP_URI,
	                        To indicating value PX__SIP_URI,
	                        CallId indicating value PX_STI_CALLID,
	                        Via indicating value PX_STNSR_VIA,
	                        Contact,
	                        TargetDialog containing "dialog info from PS session", 
	                        Require indicating value "tdialog",
	                        PAssertedIdentity indicating value PX_UE_CMSISDN
	                        SipMessageBody,
	                        Reason containing Cause indicating value "Reason Q.850 1"; // should be different then 31
	                        ;;
	                    from the IMS_S_CSCF entity
	                }
	                then {
	                	the IUT entity sends a r_200_Ok_BYE and
	                	the IUT entity sends a r_404_NotFound //according to 3GPP TS 29.292 table 5.4.8.1.1 and table 5.4.8.1.2
		                to the IMS_S_CSCF entity 
		               
		             }    
	            }
		    } // End of TP TP_ISC_SCCAS_TER_BYE_01
    	
    } // end Group "12.3.11 SCC AS procedures when the access transfer is completed"
    
}// End of Package TP_SCCAS_Chapter_9_3