15-06-2010: Functional system specification review held.

A review of the functional system specification has been held. It resulted in some minor clarifications and in the simplification that input pulses will be ignored until the previous input pulse delay has expired.