Hocine R, Kalla H, Kalla S. Une approche synchrone pour la verification des systemes embarques a base d'IPs. International Conference: Sciences of Electronics, Technologies of Information and Telecommunication (SETIT'12). 2012.