GSM Procedures in an Integrated Terrestrial/Satellite Mobile System