Towards a Formal Ethics for Autonomous Cars. - Piotr Kulicki; Robert Trypuz; Michael P. Musielewicz (DEON, 2018)