System biology modeling of protein process using deterministic finite automata (DFA) | IEEE Conference Publication | IEEE Xplore