Timer Library to work with Arduino DUE