The use of statecharts in developing body electronics software (for automobiles)

The author describes one particular area of automotive electronics where good software specifications are highly desirable: that of body controllers. He goes on to describe the statechart specification notation and shows, with the help of an example, how this notation may be particularly well suited to the kind of problems body controllers pose.<
>