Supervisory Control of a Flexible Manufacturing Unit for the Production of Two Products. - Kyriakos Giagiakos (CoRR, 2025)