a Commercial Automatic Espresso Coffee Machine