Exploratory learning of electronic systems based on finite state machines. (4th August 2014)