Formally comparing user and implementer model-based testing methods | IEEE Conference Publication | IEEE Xplore