The IPTES Environment: Support for Incremental Heterogeneous and Distributed Prototyping. - Gonzalo León; Juan C. Dueñas; Juan Antonio de la Puente; Nabil Zakhama; Alejandro Alonso 001 (Real Time Syst., 1993)

Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems. - Nabil Zakhama; Pascal Estraillier (RTS, 1995)