Statistics of Formal Methods in Cross Layer Modeling and Optimization of Wireless Networks: State of the Art and Future Directions