Sequence constraints consistency checking in requirements specifications