Models Of Programs In Embedded Systems