S. M. Pegler

• CASPS: initial requirements for computer-assisted analysis of PLC software