coffemaker.fps

SR(Set, Reset)
{ 
  !Result = Q
  Result = Set * /Result + /Reset * Result
}

MaxTime(Active, const Value, out_reg Count)
{
  !Result = Q
  ! r = counter
  (Counter = 0) = /Active
  (counter += 1) = SM0.3 * (Counter < Value) ; SM_1HZ
  Result = Active * (Counter < Value)
  (Count = counter)
}