@InProceedings{Doligalski:2015,
  author  = "M. Doligalski and J. Tkacz and T. Gratkowski",
  title       = "Model checking in parallel logic controllers design and verification",
  booktitle   = "Proceedings of the 2015 Federated Conference on Software Development and Object Technologies; ISBN: 9783319465357",
  address     = "®ilina, Słowacja",
  publisher   = "Cham, Springer International Publishing",
  volume      = "Advances in Intelligent Systems and Computing, Vol. 511",
  pages       = "35--53",
  year        = "2015",
}