A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification