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