1. A computer software architecture for capturing the properties and behavior of device control laws ex pressed in the form of state charts within a machine-implemented embedded device control application, comprising: a condition class for capturing one or more sets of conditions present in statechart models; an action class for capturing actions to be performed while in a particular state; a transition class for capturing sets of transitions between states; a group of state classes for capturing parallel state and sub-state interrelationships within a statechart; and a class for capturing time delays between state transitions.