FDT
Formal Description Technique