Zurawski, R <br/><br/>
Verifying Correctness of Interfaces of Design Models of Manufacturing Systems Using Functional Abstractions. 

 - 307-320 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> for mal Verification<br/>Temporal Logic