@article{BTW05,
  author    = {E. Bortnik and N. Tr\v{c}ka and A. J. Wijs and B. Luttik and J.M. van de Mortel-Fronczak and J. C. M. Baeten and W. J. Fokkink and J.E. Rooda},
  title     = {Analyzing a $\chi$ model of a turntable system using {Spin}, {CADP} and {UPPAAL}},
  journal   = {Journal of Logic and Algebraic Programming},
  volume    = {65},
  number    = {2},
  year      = {2005},
  pages     = {51--104}
}