Modular Abstractions for Verifying Real-Time Distributed Systems. - Hana De-Leon; Orna Grumberg (Formal Methods Syst. Des., 1993)