Using Formal Description Techniques