Real-time formative assessment design