I would also add that it is a powerful tool in your development toolbox even if you don't use it in you primary applications. For example, it is very useful fo

I would also add that it is a powerful tool in your development toolbox even if you don't use it in you primary applications. For example, it is very useful for e.g. generating test cases to hit every state transition in a complex business process state diagram.