Car Sequencing with respect to Regular Expressions and Linear Bounds