A Design Support System For Crew System Automation | IEEE Conference Publication | IEEE Xplore