Lima, R., & 		Lins, R.
2000 out  4.  Translating HCL Programs into Petri Nets. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :