Anders Ek Jens Grabowski Dieter Hogrefe Richard Jerome Beat Koch Michael Schmitt II Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. 245-260 1997 conf/sdl/1997 SDL Forum db/conf/sdl/sdl1997.html#EkGHJKS97