Modelling a Real Time Control System Based on Distributed Objects. - Nigel Baker; Wayne Harris; Chris Wallace 001; Richard McClatchey; Jean-Marie Le Goff (RTSS, 1995)

Not Whether Java but How Java. - Chris Wallace 001; Peter Martin (APSEC, 1997)

Using Alloy in process modelling. - Chris Wallace 001 (Inf. Softw. Technol., 2003)