Automatic Code Generation: Model-Code Semantic Consistency. - Andrew J. Kornecki; Sona Johri (Software Engineering Research and Practice, 2006)