Title: Languages for Analysis and Testing of Event Sequences