Embedded Analysis