Timed Automaton-Based Quantitative Feasibility Analysis of Symmetric Cipher in Embedded RTOS: A Case Study of AES. - Yawen Ke; Xiaofeng Xia (Secur. Commun. Networks, 2022)