FDT

Formal Description Technique