Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu: Formalization and Verification of PLC Timers in Coq. COMPSAC (1) 2009: 315-323