Sequence-Based Specification Of Embedded Systems