Security analysis of a cyber physical system : a car example