SPARK specifications for the stopwatch