---------------------------------------------------------------------- -- node DownCounter ---------------------------------------------------------------------- node DownCounter( Time : int; Restart : bool ) returns ( Ctr : int ); let Ctr = Time -> if Restart then Time else if pre(Ctr) > 0 then pre(Ctr) - 1 else pre(Ctr); tel