OS Timer can be used in ISR