@article{Łabiak:2010,
  author  = "G. Łabiak",
  title   = "Transition orthogonality in statechart diagrams and inconsistencies in binary control system",
  journal = "Przegląd Elektrotechniczny",
  number  = "nr 9",
  pages   = "130--133",
  year    = "2010",
}