Model-based Automated Testing of Mobile Applications: An Industrial Case Study | IEEE Conference Publication | IEEE Xplore