Embedded systems design based on formal models of computation (2011)