Text this: LTL-Specification of Bounded Counter Machines