This paper describes how a combination of CSP and theme toomethod of software design can be used to formalise the early stages of the object-oriented development of embedded systems, including those with time constraints. Using the example of the watchdog timer, we show how a specification can be developed, exercised in a prototyping environment and then transformed into an outline concurrent Ada program.