Alain Kerbrat Thierry Jéron Roland Groz Automated test generation from SDL specifications. 135-152 1999 SDL Forum db/conf/sdl/sdl1999.html#KerbratJG99