Language Specific Analysis of State Machine Models of Reactive Systems