Specification approaches express different world hypotheses | IEEE Conference Publication | IEEE Xplore