Model-driven test generation for system level validation | IEEE Conference Publication | IEEE Xplore