D. S. Gill

Introducing monitoring events to timed-CSP

N. Petalidis, D. S. Gill, N. Petalidis, 2001, IEE Proc. Softw..

The formal specification of the fieldbus foundation link scheduler in E-LOTOS

N. Petalidis, D. S. Gill, 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

Fluvial design guide

D. S. Gill, D. S. Gill, J. C. Ackers, 2010 .