Formalisation of Problem and Domain Definition for Agent Oriented Smart Factory (AOSF) | IEEE Conference Publication | IEEE Xplore