Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers | IEEE Conference Publication | IEEE Xplore