4CC40 (2024-2) Design principles and analysis of production systems