Tools for safety analysis of vehicle automation systems