added StatefulModel + shorter syntax for transitions