Publications related to Safety-critical Systems

1.       M. Calder, M. Sevegnani.
Stochastic model checking for predicting component failures and service availability
IEEE Transactions on Dependable and Secure Computing, in press, 2017.

2.       M. Calder, M. Sevegnani.
Do I need to fix a failed component now, or can I wait until tomorrow?
EDCC (Tenth European Dependable Computing Conference), IEEE, 2014.

3.       P. Jeffcutt and M. Thomas.
Organisation, Information and Computation.
ORGANIZATION, 5/3, pp. 397-423, August 1998.

4.       M. Thomas.
Formal Methods and their Role in Developing Safe Systems.
High Integrity Systems Journal, Volume 1, Number 5, Oxford University Press, pp. 447-451, 1996.

5.       M. Thomas and B. Ormsby.
On the Design of Side-Stick Controllers in Fly-By-Wire Aircraft.

ACM Applied Computing Review , Volume 2, Number 1, Spring 1994.

6.       M. Thomas.
The Story of the Therac-25 in LOTOS.
High Integrity Systems Journal, Volume 1, Number 1, Oxford University Press, pp. 3-17, 1994.

7.       M. Thomas.
A Proof of Incorrectness using LP: the Editing Problem from the Therac-25.
High Integrity Systems Journal, Volume 1, Number 1, Oxford University Press, pp. 35-49, 1994.

8.       P. Jeffcutt and M. Thomas.
Order, Disorder and the Unmanageability of Boundaries in Organised Life.
In the Realm of Organisation, R. Chia (Ed) Routledge, 1997.