Systematic Diagram Refinement for Code Generation in SEAM. - Do Quang Tri; Quan Thanh Tho (KSE, 2012)