Formal Models, Languages And Applications