Jones, C. B.
, Larsen, P. G., Prinz, A., Raschke, A. & Snook, C. F. (2014).
Specification of the Cash Dispenser in Parallel using ASM and VDM. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.),
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/DagRep.3.9.74
Larsen, P. G., Gamble, C., Pierce, K., Ribeiro, A.
& Lausdahl, K. (2014).
Support for Co-modelling and Co-simulation: The Crescendo Tool. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.),
Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 97-114). Springer.
https://doi.org/10.1007/978-3-642-54118-6_5
Schultz, C. P. L. & Bhatt, M. (2013).
InSpace3D: A Middleware for Built Environment Data Access and Analytics. I W. Agresti, J. O. Aje, S. Baek, I. Bojanova, F. Bouthillier, F. J. Cantu Ortiz, A. Carswell, I. Casas, G. Darkazalli, E. A. Edmonds, C. Ghezzi, R. Khan, M. Koval, M. Levi, B. Lin & R. V. McCarthy (red.),
Procedia Computer Science (Bind 18, s. 80-89)
https://doi.org/10.1016/j.procs.2013.05.171
Coleman, J. W.
, Malmos, A. K., Larsen, P. G., Peleska, J. & Hains, R. (2012).
COMPASS Tool Vision for a System of Systems Collaborative Development Environment. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien.
https://doi.org/10.1109/SYSoSE.2012.6384150
Woodcock, J., Cavalcanti, A., Fitzgerald, J.
, Larsen, P. G., Miyazawa, A. & Perry, S. (2012).
Features of CML: a formal modelling language for Systems of Systems. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien.
https://doi.org/10.1109/SYSoSE.2012.6384144
Bhatt, M., Hee Lee, J.
& Schultz, C. P. L. (2011).
CLP(QS): A Declarative Spatial Reasoning Framework. I M. J. Egenhofer, N. Giudice, R. Moratz & M. Worboys (red.),
Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA (1 udg., s. 210-230). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-642-23196-4_12