Detecting races in relay ladder logic programs (1998)

by A Aiken, M Faehndrich, Z Su
Venue:In Proceedings of the 1st International Conference on Tools and Algorithms for the Construction and Analysis of Systems