Tomohiro Yoneda Bernd-Holger Schlingloff Efficient Verification of Parallel Real-Time Systems. 187-215 1997 11 Formal Methods in System Design 2 db/journals/fmsd/fmsd11.html#YonedaS97