Reference keyword: state-based scheduling