Text this: Component-Based Formal Modeling of PLC Systems