WARNING! Gitlab maintenance operation scheduled for Monday, 20 April between 12:00 and 14:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.
// initial condition: the UE entity isRegisteredTo the IMS
f_registrationAS(p_cSeq_s);
// TODO:
// one dialog is early dialog
// and
// a SIP 180 (Ringing) response to the SIP INVITE request has not been received yet in any of the existing dialogs
// and
// the SCC AS included a g.3gpp.ps2cs-drvcc-orig-pre-alerting feature-capability indicator as in a Feature-Caps header field of SIP 18x responses
// and
// the Contact header field in the initial SIP INVITE request sent by the SC UE towards the SCC AS included a g.3gpp.ps2cs-drvcc-orig-pre-alerting media feature tag as
// and
// the remote leg is not a precondition enabled dialog
// TDOD PEarlyMedia indicating value "the last received P-Early-Media header field",
// TODO: Contact indicating value "set to the Contact header field provided by the served UE at the creation of the dialog",
// TDOD: SDP containing Media indicating value "the media characteristics as received in the SIP INVITE request due to PS to CS STN (including any precondition mechanism specific SDP attributes)";