Implementing a model-based design and test workflow | IEEE Conference Publication | IEEE Xplore