Mohamed Ghazel, Armand Toguyéni, Michel Bigand. A semi-formal approach to build the functional graph of an automated production system for supervision purposes. Int. J. Computer Integrated Manufacturing, 19(3):234-247, 2006. [doi]
Abstract is missing.