Formal methods in cross layer modeling and optimization of wireless networks: state of the art and future directions