Formal Models, Languages and Applications