Instrumentation and coverage analysis of cyber physical system models