/specs/Timer/PSrc/TimerModules.p

/* Create the timer module which consists of only the timer machine */
module Timer = { Timer };