Realizing ESL with Scalable Transaction Level Models