Title: Using formal description techniques