Optimal control of automated left-turn platoon at contraflow left-turn lane intersections | TUP Journals & Magazine | IEEE Xplore