Text this: Modeling, Specification and Construction of PLC-programs