Two Worlds: Abstractions in the Continuous World Rupak Majumdar Max Planck Institute for Software Systems.