1. Gomes, L., Costa, A.: From use cases to system implementation: Statechart based co-design. In: Proc. 1st ACM & IEEE Conf. Formal Methods and Prog. Models for Codesign, Mt. Saint-Michel, France, pp. 24–33. IEEE Comp. Soc. Press (2003)
2. Milik, A., Hrynkiewicz, E.: Synthesis and implementation of reconfigurable PLC on FPGA platform. Int. Journal of Electronics and Telecom. 58(1), 85–94 (2012)
3. Łabiak, G.: From UML statecharts to FPGA - the HiCoS approach. In: Proc. Forum on Spec. & Design Languages, Frankfurt, Germany, ECSI, pp. 354–363 (2003)
4. Doligalski, M.: Behavioral specification diversification for logic controllers implemented in FPGA devices. In: Proc. of FPGAworld 2012, pp. 6:1-6:5. ACM, New York (2012)
5. Grobelna, I.: Formal verification of embedded logic controller specification with computer deduction in temporal logic. Przegląd Elektrotechniczny 87(12a), 40–43 (2011)