2014
A co-modelling method for solving incompatibilities during co-design of mechatronic devices, Y. Ni and J. F. Broenink (2014), in: Advanced Engineering Informatics, 28:3 bibtex ris
[DOI]
[URL]

2013
A Concurrent Design Approach and Model Management Support to Prevent Inconsistencies in Multidisciplinary Modelling and Simulation, X. Zhang and J. F. Broenink, in: 19th European Concurrent Engineering Conference, EUROSIS, Lincoln, UK, EUROSIS-ETI Publication, 2013 bibtex ris
A Formal Approach to Collaborative Modelling and Co-Simulation for Embedded Systems, J.S. Fitzgerald, P. G. Larsen, K. G. Pierce and M.H.G. Verhoef (2013), in: Mathematical Structures in Computer Science, 23:04 bibtex ris
[DOI]
Using VDM in a Co-Simulation Setting for an Industrial Conveyor System, K. Bjerge and P. G. Larsen, in: Proceedings Modelling, Identification and Control -- MIC 2013 conference, IAESTED, Innsbruck, A, IAESTED, 2013 bibtex ris

2012
A rigorous approach to the design of resilient cyber-physical systems through co-simulation, J.S. Fitzgerald, K. G. Pierce and C. J. Gamble, in: DSN workshops, IEEE, 2012 bibtex ris
A Structuring Mechanism for Embedded Control Systems using Co-modelling and Co-simulation, X. Zhang and J. F. Broenink, in: Proc 2nd Int'l Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 2012 bibtex ris
Collaborative Modelling and Co-Simulation with DESTECS: A Pilot Study, K. G. Pierce, C. J. Gamble, Y. Ni and J. F. Broenink, in: 3rd IEEE track on Collaborative Modelling and Simulation, in WETICE 2012, Toulouse, Fr, IEEE-CS, 2012 bibtex ris
[DOI]
[URL]
Design and Use of CSP Meta-Model for Embedded Control Software Development, M. M. Bezemer, R. J. W. Wilterdink and J. F. Broenink, in: Communicating Process Architectures 2012, Dundee, UK, Open Channel Publishing, 2012 bibtex ris
[URL]
Hybrid systems modelling and simulation in DESTECS: A co-simulation approach, Y. Ni and J. F. Broenink, in: The 2012 European simulation and modelling conference, ETI-The European Technology Insititue, Essen, Germany, 2012 bibtex ris
Model-Driven Robot-Software Design using Integrated Models and Co-Simulation, J. F. Broenink and Y. Ni, in: Proceedings of SAMOS XII, Samos, Greece, 2012 bibtex ris
Mutual Knowledge in Multi-Domain Models, J. Marincic and A. H. Mader, in: Proc Workshop Trustworthy Cyber-Physical Systems, report CS-TR-1347, Newcastle University, 2012 bibtex ris
The Co-Simulation of a Cardiac Pacemaker using VDM and 20-sim, C. J. Gamble, M. Mansfield and J.S. Fitzgerald, in: Proc Workshop Trustworthy Cyber-Physical Systems, report CS-TR-1347, Newcastle University, 2012 bibtex ris
Towards a Methodology for Modelling and Validation of an Agricultural Vehicle's Dynamics and Control, M. P. Christiansen, K. Bjerge, G. Edwards and P. G. Larsen, in: Proc 6th International Conference on Integrated Modelling and Analysis in Applied Control and Automation, 2012 bibtex ris

2011
A Deterministic Interpreter Simulating a Distributed Real Time System using VDM, K. Lausdahl, P. G. Larsen and N. Battle, in: ICFEM 2011, 2011 bibtex ris
A Model Management Approach for Co-Simulation Model Evolution, X. Zhang and J. F. Broenink, in: Proc 1st Int'l Conference on Simulation and Modeling Methodologies, Technologies and Applications, Noordwijkerhout, NL, SciTecPress, 2011 bibtex ris
[DOI]
Automated Exploration of Alternative System Architectures with VDM-RT, K. Lausdahl and A. Ribeiro, in: 9th Overture Workshop, June 2011, Limerick, Ireland, 2011 bibtex ris
Model-Driven Software Development for Robotics: An Overview, J. F. Broenink and M. M. Bezemer, Invited lecture at the IEEE ICRA Workshop on Software Development and Integration in Robotics (SDIR VI) at the IEEE ICRA conference, 9 May 2011, Shanghai, 2011 bibtex ris
[URL]
Modelling Faults and Fault Tolerance Mechanisms in a Paper Pinch Co- model, K. G. Pierce, J.S. Fitzgerald and C. J. Gamble, in: Proceedings of the ERCIM/EWICS/Cyber-physical Systems Workshop at SafeComp 2011, Naples, Italy, ERCIM, 2011 bibtex ris
Run-Time Validation of Timing Constraints for VDM-RT Models, A. Ribeiro, K. Lausdahl and P. G. Larsen, in: 9th Overture Workshop, June 2011, Limerick, Ireland, 2011 bibtex ris

2010
A model-driven approach to robot-software design, J. F. Broenink, Invited Lecture at the Institute for Robotics and Process Control, University of Braunschweig, Germany, 2010 bibtex ris
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems, J.S. Fitzgerald, P. G. Larsen, K. G. Pierce, M.H.G. Verhoef and S. Wolff, Springer Berlin / Heidelberg, Lecture Notes in Computer Science, volume 6396, 2010 bibtex ris
[DOI]
Combinatorial Testing for VDM, P. G. Larsen, K. Lausdahl and N. Battle, in: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, 2010 bibtex ris
Design Support and Tooling for Dependable Embedded Control Systems, J. F. Broenink, P. G. Larsen, M. Verhoef, C. Kleijn, D.S. Jovanović, K. G. Pierce and F. Wouters, in: Proceedings of SERENE '10, ACM, Birbeck College, London, UK, ACM Sigsoft, 2010 bibtex ris
Embedded Control Software Design with Formal Methods and Engineering Models, J. F. Broenink and M. A. Groothuis, Invited lecture - BCS FACS / FME evening semniar, 2010 bibtex ris
Model-Driven Robot-Software Design Using Template-Based Target Descriptions, J. F. Broenink, M. A. Groothuis, P. M. Visser and M. M. Bezemer, in: ICRA 2010 workshop on Innovative Robot Control Architectures for Demanding (Research) Applications, IEEE, Anchorage, IEEE, 2010 bibtex ris
[URL]
On Model-driven Design of Robot Software using Co-simulation, J. F. Broenink, Y. Ni and M. A. Groothuis, in: SIMPAR, Workshop on Simulation Technologies in the Robot Development Process, 2010 bibtex ris
[URL]
The Overture Initiative Integrating Tools for VDM, P. G. Larsen, N. Battle, M. Ferreira and M.H.G. Verhoef, ACM Software Engineering Notes, 2010 bibtex ris

2008
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs, P. J. L. Cuijpers, J. F. Broenink and P. J. Mosterman (2008), in: Simulation, Society for Modeling and Simulation International (SCS), San Diego, USA, vol. 84, nr. 84 bibtex ris