An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. - Colm Bhandal; Mélanie Bouroche; Arthur Hughes (EUC, 2011)

A Process Algebraic Description of a Temporal Wireless Network Protocol. - Colm Bhandal; Mélanie Bouroche; Arthur Hughes (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Formalising a real-time coordination model - Colm Bhandal (2015)