SDL-based automatic test generation for GSM [Global system for Mobile Communications] services - Švigelj, Aleš (Array, 1999)