Towards safety of transportation systems with a mixture of automated and human-driven vehicles | IEEE Conference Publication | IEEE Xplore