Extracting Behavioral Models from Service Implementations Topics: Business and Software Modeling Languages; Formal Methods; Meta Programming Systems and Meta-Modeling; Model-Driven Engineering; Service-Oriented Software Engineering and Management In Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 226-231, 2013 , Angers, France