Bozhilova, Maya, and Grigor Velev. A formal models for mobile AD HOC networks group interactions In Proceedings of the Eighth International Scientific Conference ?HEMUS-2016?., 2016.