Email Record: Embedded systems design based on formal models of computation /