Gravar-mail: A UML-based approach for modeling industrial control applications