U.S. auto safety regulators open formal safety probe into Tesla Inc's driver assistance system

4