Mohamed Ghazel Armand Toguyéni Michel Bigand A semi-formal approach to build the functional graph of an automated production system for supervision purposes. 234-247 2006 19 Int. J. Comput. Integr. Manuf. 3 https://doi.org/10.1080/03081070500066021 db/journals/ijcim/ijcim19.html#GhazelTB06