Executing Model-Based Tests on Platform-Specific Implementations (T) | IEEE Conference Publication | IEEE Xplore