1. Doligalski, M. (2012). Behavioral specification diversification of reconfigurable logic controllers (Vol. 20). Lecture Notes in Control and Computer Science, Zielona Góra: University of Zielona Góra Press.
2. Gajski, D. D., Abdi, S., Gerstlauer, A., & Schirner, G. (2009). Embedded system design: modeling, synthesis, verification. Berlin: Springer.
3. Gomes, L., Barros, J. P., & Costa, A. (2006). Modeling formalisms for embedded system design. In R. Zurawski (Ed.), Embedded systems handbook. New York: Taylor and Francis Group.
4. Grobelna, I. (2011). Formal verification of embedded logic controller specification with computer deduction in temporal logic. Przeglad Elektrotechniczny, 87(12a), 47–50.
5. Grobelna, I. (2013). Formal verification of logic controller specification by means of model checking (Vol. 24). Lecture Notes in Control and Computer Science, Zielona Góra: University of Zielona Góra Press.