Just edited this post from over a year ago to adjust my response. os.clock() is actually quite performant, and should be used over os.time() in most circumstances since it is a lot more accurate (by a lot!).
Original reply
Interesting, this is the first I’ve heard of this 
Good to know! However, I mentioned using tick since os.clock is intended for benchmarking.
If tick has plans for deprecation, then replace os.clock with os.time. Clock is used for benchmarking because it’s extremely precise, but with sacrifice to performance. os.time will function quite well for your needs!