A sequence works in a way a collection never can.
This chapter introduces the notion of sequence – a series of values in time. Sequences are used as building blocks for properties. This chapter describes basic sequence operators: concatenation, fusion, consecutive repetition, and disjunction. It is shown how to build properties from sequences directly, or using implications. Examples explaining typical usage of sequences are provided.