Abdelouahab, Zair, and Peter M. Dew.
" Concurrency and Synchronisation in Actel." <em>Anais do IX Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1995</em>. SBC, 1995,  
pp.259-273.