Stochastic processes for modeling and evaluating atomic clock behaviour