Timer Library fully implemented for Arduino DUE