1. Adamski M, Barkalov A (2006) Architectural and sequential synthesis of digital devices. University of Zielona Góra Press
2. Alur R (2015) Principles of cyber-physical systems. The MIT Press
3. Ashford LE, Sanjit Arunkumar S (2016) Introduction to embedded systems: A cyber-physical systems approach, 2nd edn. The MIT Press
4. Baranov S (1994) Logic synthesis of control automata. Kluwer Academic Publishers
5. Baranov S (2008) Logic and system design of digital systems. TUT Press, Tallinn