White Paper: A New Approach to System Verification