Text this: Αναλυτική Έκφραση Κριτηρίων Απόδοσης και Ασφάλειας σε Προγραμματιζόμενα Ασύρματα Περιβάλλοντα