Research in Software Engineering from Rahul Gopinath| rahul.gopinath.org
Finite-state machine| en.wikipedia.org