Title: Languages for analysis and testing of event sequences