Modelling to Safety. - Alek Radjenovic (EWSA, 2005)

The View Glue. - Alek Radjenovic; Richard F. Paige (WADS, 2006)

Architecture Description Languages for High-Integrity Real-Time Systems. - Alek Radjenovic; Richard F. Paige (IEEE Softw., 2006)

The Role of Dependency Links in Ensuring Architectural View Consistency. - Alek Radjenovic; Richard F. Paige (WICSA, 2008)

Behavioural interoperability to support model-driven systems integration. - Alek Radjenovic; Richard F. Paige (MDI@MoDELS, 2010)

An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models. - Alek Radjenovic; Richard F. Paige (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. - Alek Radjenovic; Nikolas Drivalos Matragkas; Richard F. Paige; Matteo Rossi 001; Alfredo Motta; Luciano Baresi; Dimitrios S. Kolovos (ECMFA, 2012)

A Plug-in Based Approach for UML Model Simulation. - Alek Radjenovic; Richard F. Paige; Louis M. Rose; Jim Woodcock 001; Steve King 001 (ECMFA, 2012)

Formal verification and validation of embedded systems: the UML-based MADES approach. - Luciano Baresi; Gundula Blohm; Dimitrios S. Kolovos; Nicholas Drivalos Matragkas; Alfredo Motta; Richard F. Paige; Alek Radjenovic; Matteo Rossi 001 (Softw. Syst. Model., 2015)