Situation Calculus for Synthesis of Manufacturing Controllers | Read Paper on Bytez