selected publications conference paper An architecture for deploying model based testing in embedded systems 2010