Abdelouahab, Z., & 		Dew, P.
(1995).
 Concurrency and Synchronisation in Actel.
<em>Anais Do SimpóSio Brasileiro De Engenharia De Software (SBES), </em>, 259-273.
doi:10.5753/sbes.1995.24088