Model-based test cases generation for Onboard system | IEEE Conference Publication | IEEE Xplore