Zaslat SMS: Automaton theory and modeling of biological systems /