Bhattacharjee, A. K.Shyamasundar, R. K.2018-12-312018-12-312005Lecture Notes in Computer Science, 2005. Vol. LNCS 3816: pp. 508-521http://hdl.handle.net/123456789/175224810 bytestext/htmlenValidated Code GenerationActivity Diagramscode generation mechanismssynchronous language environmentsArticle