SPRINT: A Tool to Generate Concurrent Transaction-Level Models from Sequential Code. (30th April 2007)