Pei-Yung Hsiao and Gao Shang, “Incrementally Verifying Automata for Fingerprint Sensors", The 2017 4th International Conference on Systems and Informatics, Hangzhou, Zhejiang, China, Nov. 11-13, 2017, pp.434-439.