TLM paradigm which is efficient in terms of simulation speed, we demonstrate that this synergy is a powerful tool for productive design space exploration. The analytic timing specification representation is completely independent from languages used for system design, providing in this way the possibility of reuse. The proposed temporal model can be easily integrated in different design methodologies.