Έλεγχος μοντέλων - Άλλες γλώσσες