Text this: Embedded Systems Design Based on Formal Models of Computation