Model based safety analysis of cyber physical systems