1. J. Woodcock, P. G. Larsen, J. Bicarrequi and J. Fitzgerald, Formal methods: Practice and experience, Journal ACM Computing Surveys, Vol. 41, Issue 4, Article no.19, 2009.
2. R. Wiśniewski, A. Bukowiec and M. Węgrzyn, Benefits of hardware accelerated simulation, Proceedings of the International Workshop Discrete-Event System Design (DESDes), Poland, pp. 229–234, 2001.
3. M. Grobelny, I. Grobelna and M. Adamski, Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams, Proceedings of 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems (PDeS), pp. 109–114, 2012.
4. L. Gomes, J. Barros and A. Costa, Modeling Formalisms for Embedded System Design, Embedded Systems Handbook, Taylor and Francis Group, LLC, 2006.
5. E. M. Clarke, O. Grumberg and D. A. Peled, Model Checking, The MIT Press, 1999.