Generating methods signatures from transition state diagram: A model transformation approach | IEEE Conference Publication | IEEE Xplore