Implement basic classes for automata. Add reference to PRISM