Automata-based modeling and control of a truck and trailer vehicle equipped with a kingpin sliding mechanism | IEEE Conference Publication | IEEE Xplore