Automated Test Case Generation for Embedded Software Using Extended Interface Automata | IEEE Conference Publication | IEEE Xplore