Finite State Automata for Real-Time Health Electronic Record Update: A survey | IEEE Conference Publication | IEEE Xplore