Gaps in the verification of automotive mixed-signal systems