TY  - SER
AU  - Zurawski, R
TI  - Verifying Correctness of Interfaces of Design Models of Manufacturing Systems Using Functional Abstractions
KW  -  for mal Verification
KW  - Temporal Logic
ER  -