Matching State-Based Sequences with Rich Temporal Aspects