Verification of Virtual Platform Models – What do we Mean with Good Enough?