Verification and validation of logic control systems by model checking - Saifulza Alwi (2013)