Towards Model-Based Test automation for embedded systems using UML and UTP | IEEE Conference Publication | IEEE Xplore