Stamatis Manesis, Vasileios Deligiannis: Automata-based Modeling and Control of a Truck and Trailer Vehicle Equipped with a Kingpin Sliding Mechanism. ETFA 2009: 1-4