@article{ThumsSchellhorn2003,
  author    = {Andreas Thums and Gerhard Schellhorn},
  title     = {Model checking FTA},
  journal   = {Lecture Notes in Computer Science},
  volume    = {2805},
  pages     = {739 -- 757},
  doi       = {10.1007/978-3-540-45236-2_40},
  year      = {2003},
}