RAND Model of automated vehicle safety (MAVS) model documentation - Kalra, Nidhi; Groves, David G. (RAND Corporation, 2017)