Applying Fuzzy Mathematics to Formal Models in