1. Bainbridge S., Camilleri A., Fleming R., ‘Theorem Proving as an Industrial Tool for System Level Design', in Theorem Provers in Circuit Design, Stavridou V., Melham T., Boute R. (eds.), North-Holland, 1992, pp. 253–274, Proceedings of the IFIP TC10/WG 10.2 International Conference, Nijmegen, 22–24 June 1992.
2. Bryg W., Chan K., Fiduccia N., ‘A High-Performance, Low-Cost Multiprocessor Bus for Workstations and Midrange Servers', Hewlett-Packard Journal, 47 (1), February 1996.
3. Camilleri, A., ‘A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor', in Theorem Proving in Higher Order Logics, Gunter E., Felty A. (eds.), Springer-Verlag, 1997, pp. 49–69, Proceedings of the 10th International Conference, New Jersey, 19–22 August 1997.
4. Corella F., Shaw R., Zhang C., ‘A formal proof of absence of deadlock for any acyclic network of PCI buses', in Computer Hardware Description Languages and their Applications, Chapman & Hall, 1997, Proceedings of the 13th International Conference.