On the application of formal description techniques to the design of interception systems for GSM mobile terminals | Publicación