Formally comparing user and implementer model-based testing methods | Publicación