Model Based Functional Verification; Strengthening the Link between Testing and Operations