time and state analysis