* Minor reformatting
        * Add support for timed threads
        * Use a default value if WCET is not set. Also reports a
          warning