An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture. - Shanna-Shaye Forbes; Hiren D. Patel; Edward A. Lee; Hugo A. Andrade (DS-RT, 2008)