Validation of Control System Specifications with Abstract Plant Models.

Wenhui Zhang

Browse the full SAFECOMP paper archive.