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. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.),
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. 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. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.),
Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 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. In 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 (Eds.),
Procedia Computer Science (Vol. 18, pp. 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. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy.
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. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy.
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. In M. J. Egenhofer, N. Giudice, R. Moratz & M. Worboys (Eds.),
Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA (1 ed., pp. 210-230). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-642-23196-4_12