Gravar-mail: Logical Modeling and Dynamical Analysis of Cellular Networks