4CC40 (2025-3) Design principles and analysis of production systems