Rapid Prototyping Of Parallel Fault Tolerant Systems. - Patrick Nixon; Carl I. Birkinshaw; Peter R. Croll; Derek Garron Marriott (PDP, 1994)

Engineering safety-related parallel systems. - Carl I. Birkinshaw; Peter R. Croll; Derek Garron Marriott; Patrick Nixon (Inf. Softw. Technol., 1994)

Modelling the client-server behaviour of parallel real-time systems using Petri nets. - Carl I. Birkinshaw; Peter R. Croll (HICSS (2), 1995)

Engineering communicative distributed safety-critical systems. - Carl Ian Birkinshaw (1995)

Supporting integrated modelling of parallel hybrid systems. - Carl I. Birkinshaw; Peter R. Croll (Software Engineering for Parallel and Distributed Systems, 1996)