Introducing X-machine models to verify PLC ladder diagrams /
Chambers, C.
Holcombe, M.
Barnard, J.
Health and Safety Laboratory (Great Britain)
Sheffield : The Laboratory,
[1999]
CI/99/16.