국제학회
A Formal Method for the Synthesis, Verification and Validation of Chemical Process Control Systems
Il Moon and G. J. Powers, "A Formal Method for the Synthesis, Verification and Validation of Chemical Process Control Systems," ChEGSA Symposium, PA, Oct. 1990.
