RPL: a policy language for dynamic reconfiguration. - Richard John Payne (SERENE, 2008)

A Formal Model-Based Approach to Engineering Systems-of-Systems. - John S. Fitzgerald; Jeremy W. Bryans; Richard John Payne (PRO-VE, 2012)

COMPASS tool vision for a system of systems Collaborative Development Environment. - Joey W. Coleman; Anders Kaels Malmos; Peter Gorm Larsen; Jan Peleska 001; Ralph Hains; Zoe Andrews; Richard John Payne; Simon Foster 001; Alvaro Miyazawa; Cristiano Bertolini; André Didier (SoSE, 2012)

Interface specification for system-of-systems architectures. - Richard John Payne; Jeremy W. Bryans; John S. Fitzgerald; Steve Riddle (SoSE, 2012)

Verifiable resilience in architectural reconfiguration. - Richard John Payne (2012)

Fault modelling for systems of systems. - Zoe Andrews; John S. Fitzgerald; Richard John Payne; Alexander B. Romanovsky (ISADS, 2013)

Model-based development of fault tolerant systems of systems. - Zoe Andrews; Richard John Payne; Alexander B. Romanovsky; André Didier; Alexandre Mota 001 (SysCon, 2013)

Semi-formal and formal interface specification for system of systems architecture. - Jeremy W. Bryans; Richard John Payne; Jon Holt; Simon Perry (SysCon, 2013)

Modelling patterns for systems of systems architectures. - Claire Ingram; Richard John Payne; Simon Perry; Jon Holt; Finn Overgaard Hansen; Luís Diogo Couto (SysCon, 2014)

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

SysML fault modelling in a traffic management system of systems. - Claire Ingram; Zoe Andrews; Richard John Payne; Nico Plat (SoSE, 2014)

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

Towards Verification of Constituent Systems through Automated Proof. - Luís Diogo Couto; Simon Foster 001; Richard John Payne (CoRR, 2014)

A Model-Based Approach for Requirements Engineering for Systems of Systems. - Jon Holt; Simon Perry; Richard John Payne; Jeremy W. Bryans; Stefan Hallerstede; Finn Overgaard Hansen (IEEE Syst. J., 2015)

Checking SysML Models for Co-simulation. - Nuno Amálio; Richard John Payne; Ana Cavalcanti 001; Jim Woodcock 001 (ICFEM, 2016)

Sound Simulation and Co-simulation for Robotics. - Ana Cavalcanti 001; Alvaro Miyazawa; Richard John Payne; Jim Woodcock 001 (Present and Ulterior Software Engineering, 2017)

Features of Integrated Model-Based Co-modelling and Co-simulation Technology. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Carl Gamble; Richard John Payne; Kenneth Pierce (SEFM Workshops, 2017)

Modelling System of Systems Interface Contract Behaviour. - Oldrich Faldik; Richard John Payne; John S. Fitzgerald; Barbora Buhnova (FESCA@ETAPS, 2017)