Describir: Predictable Execution for Device-Bound Embedded Systems with Intermittent Power