Abdelouahab, Z., & 		Dew, P.
1995 out  3.  Concurrency and Synchronisation in Actel. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :