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