From Code to Model: Techniques You Can Use for Business Process Modeling