MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned | IEEE Conference Publication | IEEE Xplore