1. Carpanzano, E.; L., Ferrarini; C. Maffezzoni. 2001. “Modular Testing of Logic Control Functions with Matlab.” Proceedings of the 13th European Simulation Symposium and Exhibition, (Marseilles, France, Oct. 18-20), SCS.
2. Carpanzano, E.; L., Ferrarini; C. Maffezzoni; et al. 1999. “Testing industrial distributed control systems, with hardware-in-the-loop simulators.” Proceedings of the 11th European Simulation Symposium and Exhibition, (Erlangen-Nuremberg, Germany, Oct. 26-28), SCS, 574-578.
3. Daga, A. J. and W. P. Birmingham. 1995. “A symbolic-simulation approach to the timing verification of interacting FSMs”. Proceedings of the IEEE International Conference on Computer Design, ICCD'95, 584-589.
4. “Communication architectures for distributed computer control systems.”;Dieterle;Control Engineering Practice,1995
5. “Modeling techniques to support system level simulation and a top-down development methodology.”;Gravenstein;Proceedings of the International Verilog HDL Conference,1994