Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. - Pedro R. G. Antonino; Marcel Vinícius Medeiros Oliveira; Augusto Sampaio 001; Klaus E. Kristensen; Jeremy W. Bryans (NASA Formal Methods, 2014)

SysML contracts for systems of systems. - Jeremy W. Bryans; John S. Fitzgerald; Richard John Payne; Alvaro Miyazawa; Klaus E. Kristensen (SoSE, 2014)

Fault Modelling in System-of-Systems Contracts. - Zoe Andrews; Jeremy W. Bryans; Richard John Payne; Klaus E. Kristensen (CoRR, 2014)

Dependable System of Systems Engineering: the COMPASS Project. - John S. Fitzgerald; Steve Riddle; Paolo Casoto; Klaus E. Kristensen (ERCIM News, 2014)