I was browsing Microsoft/research site today and came across this cool language. I liked it becaused i always my-self draw/design a state machine before solving a complex problem. I am yet to downlaod it but specifications were good enough to make me write a blog entry on it. If you would like to read more about it then follow this link.