Methods and methodology for an incremental test generation from SDL specifications. - Athmane Touag; A. Rouger (SDL Forum, 1999)