Verifying nondeterministic processes driven by broadcasts on Android | IEEE Conference Publication | IEEE Xplore