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.