Text this: Verification and validation of logic control systems by model checking /