Decomposition-Based Approach for Model-Based Test Generation