I think every CS graduate has had at least one homework assignment involving the dining philosophers problem or a producer-consumer problem.

This paper presents a model-based design approach to the constrained scheduling problem of the SCADA based on the producer-consumer model.