Model testing: is it only a special case of software testing? | IEEE Conference Publication | IEEE Xplore