Beat Koch Jens Grabowski Dieter Hogrefe Michael Schmitt II Autolink: A Tool for Automatic Test Generation from SDL Specifications. 114- 1998 conf/wift/1998 WIFT http://csdl.computer.org/comp/proceedings/wift/1998/0081/00/00810114abs.htm db/conf/wift/wift1998.html#KochGHS98