Giovanni Cantone. Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems. In Wolfgang A. Halang, Alexander D. Stoyenko, editors, Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992. Volume 127 of NATO ASI Series, pages 325-345, Springer, 1992. [doi]