1. Kohavi, Z., Jha, N.K.: Switching and Finite Automata Theory. Cambridge University Press, Cambridge (2009)
2. Pedroni, V.A.: Finite State Machines in Hardware: Theory and Design (with VHDL and SystemVerilog). MIT Press, Cambridge (2013)
3. Wagner, F., Schmuki, R., Wagner, T., Wolstenholme, P.: Modeling Software with Finite State Machines: A Practical Approach. CRC Press, Boca Raton (2006)
4. Hennessy, J., Patterson, D., Arpaci-Dusseau, A.: Computer Architecture: A Quantitative Approach. No. v. 1 in The Morgan Kaufmann Series in Computer Architecture and Design. Morgan Kaufmann, Burlington (2007)
5. Kocher, P., Jaffe, J., Jun, B.: Differential power analysis. In: Wiener, M. (ed.) Advances in Cryptology – CRYPTO’ 99. Lecture Notes in Computer Science, vol. 1666, pp. 789–789. Springer, Berlin (1999)