Before revision: It targets real-time embedded systems, aiming to produce a design that is both highly abstract, yet which will still allow precise extraction of time and space execution costs.
After revision: It targets real-time embedded systems, aiming to produce a design that is both highly abstract, and yet allowscomputing precise extraction of time and space execution costs.