package Communication.FDDI;

module timer(bool ?reset, int counter)
{
   loop {
      counter = 0;
      abort {
         consume_time: pause;
         next(counter) = counter+1;
      }when(reset);
   }
}