Systematized Literature Review: Model-Based Test Case Generation for Requirements Verification at the Subsystem Level | Synapse