Biblio
“NL2 Alloy: A tool to generate alloy from NL constraints”, Journal of Digital Information Management, vol. 10, no. 6, pp. 365 - 372, 2012.
, “On automated generation of Diagnosers in fault tolerant Service Oriented Architectures”, Journal of Digital Information Management, vol. 7, no. 6, pp. 336 - 342, 2009.
,