Expert knowledge justification in PLC models applied to flank milling