Automation of Human-Machine Systems Design Based on Functional-Structural Theory | IEEE Conference Publication | IEEE Xplore