@article{Łabiak:2012,
  author  = "G. Łabiak and M. Adamski and M. Doligalski and J. Tkacz and A. Bukowiec",
  title   = "UML modelling in rigorous design methodology for discrete controllers",
  journal = "International Journal of Electronics and Telecommunications",
  volume  = "Vol. 58",
  number  = "no 1",
  pages   = "27--34",
  year    = "2012",
}