Lukman Ab. Rahim, Jon Whittle: Verifying Semantic Conformance of State Machine-to-Java Code Generators. MoDELS (1) 2010: 166-180