Modeling with Uppaal: The Production Cell Assignment