Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models - Steinert, T.; Roessler, G. (FORMAL DESCRIPTION TECHNIQUES -INTERNATIONAL CONFERENCE-, 2000)