Master Thesis: Subsystem Reference Model at Top Level Verification | Ericsson