Text this: Temporal Logic for Programmable Logic Controllers