Atomic clocks based on coherent population trapping: basic theoretical models and frequency stability | IEEE Conference Publication | IEEE Xplore