Engineering wireless-based software systems and applications by Jerry Gao