@Article{,
  author = 	 {Thomas Hune and Kim G.~Larsen and Paul Pettersson},
  title = 	 {{Guided Synthesis of Control Programs using {\sc Uppaal}}},
  journal = 	 {Nordic Journal of Computing},
  year = 	 {2001},
  volume = 	 {8},
  number = 	 {1},
  pages = 	 {43--64}
}