https://blog.mk4.fun/posts/2016/07/raspberry-pi-timer/