Java based co-verification of expedited mobile device collaboration using observability | IEEE Conference Publication | IEEE Xplore