Causality for General LTL-definable Properties. - Georgiana Caltais; Sophie Linnea Guetlein; Stefan Leue (CREST@ETAPS, 2018)