Model-Based Test Case Generation for Function Testing of CTCS-3 onboard subsystem