1. Specification and Description Language - Overview of SDL-2010,2021
2. Interface between Data TerminalEquipment (DTE) and Data Circuit-terminatingEquipment (DCE) for terminals operating in thep-acket mode and connected to public datanetworks by dedicated circuit,1996
3. Digital cellular telecommunications system (Phase 2+); Mobile Application Part (MAP) specification (GSM 09.02)
4. Industrial Experiments in IMS, ATC, and SDR Projects of Property Verification Techniques