Efficient verification of parallel real-time systems (1997)

by T Yoneda, B-H Schlingloff
Venue:Formal Methods in System Design