//-->
Formal approach to include a human material handler in a computer-integrated manufacturing (CIM) system
Altuntas, B., (2007)
Adaptive CUSUM of the Q chart
Kim, N., (2010)
Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems