Hybrid Input Output Automata for composable conveyor systems | IEEE Conference Publication | IEEE Xplore