@Inproceedings{EPTCS224.3,
  author    = {Caltais, Georgiana and Leue, Stefan and Mousavi, Mohammad Reza},
  year      = {2016},
  title     = {(De-)Composing Causality in Labeled Transition Systems},
  editor    = {G\"ossler, Gregor and Sokolsky, Oleg},
  booktitle = {{\rm Proceedings First Workshop on}
               Causal Reasoning for Embedded and safety-critical Systems Technologies,
               {\rm Eindhoven, The Netherlands, 8th April 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {224},
  publisher = {Open Publishing Association},
  pages     = {10-24},
  doi       = {10.4204/EPTCS.224.3},
}