formal description techniques{=FDT}