Logic Verification System for Power Plant Sequence Diagrams.

Journal of Nuclear Science and Technology - United Kingdom
doi 10.3327/jnst.31.102