On the use of software models during software execution | IEEE Conference Publication | IEEE Xplore