Matching execution architecture models with functional models to analyze the time performance of CPS systems