Automatic Generation of Transaction Level Models