Title: CASPS: initial requirements for computer-assisted analysis of PLC software
First published: 1997