From Metroii To Metronomy, Designing Contract-Based Function-Architecture Co-Simulation Framework For Timing Verification Of Cyber-Physical Systems