@article{Łabiak:2012,
  author  = "G. Łabiak",
  title   = "The problems of transition predicates construction in hierarchical concurrent controllers",
  journal = "International Journal of Electronics and Telecommunications",
  volume  = "Vol. 58",
  number  = "no 4",
  pages   = "411--418",
  year    = "2012",
}