Sequence-Based Software Specification of Deterministic Systems