1. Principles of Model Checking;Baier,2008
2. ESL Models and Their Application: Electronic System Level Design and Verification in Practice;Bailey,2009
3. Logic Synthesis for Control Automata;Baranov,1994
4. Partial reconfiguration of compositional microprogram control units implemented on FPGAs;Barkalov,2006
5. From UML state machine diagram into FPGA implementation;Bazydło;Adv. Electric. Electron. Eng.,2014