An Experience Report on Modeling Software Process in Industrial Context: Challenges and Solutions