State Diagrams

Hi,
How do you use state diagrams to model embedded programs? Is there any book with examples on how to do this?
Thanks

More questions in this forum