Text this: On Construction and Verification of PLC-Programs