Andras: state model diagram