@InProceedings{Doligalski:2015,
  author  = "M. Doligalski and J. Tkacz and T. Gratkowski",
  title       = "Unit testing-based approach for reconfigurable logic controllers verification",
  booktitle   = "Photonics Applications in Astronomy, Communications, Industry and High-Energy Physics Experiments 2015 : XXXVI-th IEEE-SPIE Joint Symposium; ISBN: 9781628418804",
  address     = "Wilga, Polska",
  publisher   = "Bellingham, SPIE",
  volume      = "Proceedings of SPIE, Vol. 9662",
  pages       = "1",
  year        = "2015",
}