sample code for a SysTick Timer in embedded systems Finite State Machines lecture