Efficient Process Generation from State Transition Based Telecommunication Service Specifications