Model-based testing and maintenance | IEEE Conference Publication | IEEE Xplore