S. Ciskowski, T. Mikulczyński, Z. Samsonowicz, and R. Więcławek, “Analytic Method Grafpol TM of Synthesing Sequential Control Systems”, A, vol. 18, no. 2, p. 51, Jul. 2015.