Abstract: Programmable logic controllers (PLCs) are widely used in embedded systems. A timer plays a pivotal role in PLC real-time applications.The paper presents a formalization of TON-timers of PLC ...