Using ITL and Tempura for Large-Scale Specification and Simulation.

Antonio Cau Hussein Zedan Nick Coleman Ben C. Moszkowski Using ITL and Tempura for Large-Scale Specification and Simulation. 493-500 1996 conf/pdp/1996 PDP db/conf/pdp/pdp1996.html#CauZCM96