Thanks Erel, Honestly I haven't looked into this, but it is for a project that we are planning to do soon.
However I am not sure if you have experimented with this to measure the maximum frequency that we can expect to handle with this board and the development tools without missing any events. Also do you happen to know if the events will be queued (to be fired later ), in case StateChange event is delayed by the OS?