Z. H. Andrews, J. S. Fitzgerald, and M. Verhoef, Resilience Modelling through Discrete Event and Continuous Time Co-Simulation, Proc. 37th Annual IFIP/IEEE Intl. Conf. on Dependable Systems and Networks, pp.350-351, 2007.

A. Avizienis, J. C. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

M. Bozzano, A. Cimatti, J. P. Katoen, V. Y. Nguyen, T. Noll et al., The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems, SAFECOMP '09: Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security, pp.173-186, 2009.
DOI : 10.1016/0304-3975(81)90110-9

J. F. Broenink, P. G. Larsen, M. Verhoef, C. Kleijn, D. Jovanovic et al., Design support and tooling for dependable embedded control software, Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENCE '10, 2010.
DOI : 10.1145/2401736.2401745

J. F. Broenink, Computer-aided physical-systems modeling and simulation: a bond-graph approach, 1990.

J. F. Broenink, Modelling, Simulation and Analysis with 20-Sim, Journal A Special Issue CACSD, vol.38, issue.3, pp.22-25, 1997.

J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

R. Elmstrøm, P. G. Larsen, and P. B. Lassen, The IFAD VDM-SL toolbox, ACM SIGPLAN Notices, vol.29, issue.9, pp.77-80, 1994.
DOI : 10.1145/185009.185028

J. S. Fitzgerald, P. G. Larsen, S. Tjell, and M. Verhoef, Validation Support for Distributed Real-Time Embedded Systems in VDM++, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), pp.331-340, 2007.
DOI : 10.1109/HASE.2007.26

J. Fitzgerald and P. G. Larsen, Modelling Systems ? Practical Tools and Techniques in Software Development The Edinburgh Building, 2009.

J. Fitzgerald, P. G. Larsen, P. Mukherjee, N. Plat, and M. Verhoef, Validated Designs for Object?oriented Systems, 2005.

J. Fitzgerald, P. G. Larsen, and S. Sahara, VDMTools: Advances in Support for Formal Modeling in VDM, ACM Sigplan Notices, vol.43, issue.2, pp.3-11, 2008.

P. Fritzson and V. Engelson, Modelica -a unified object-oriented language for system modelling and simulation, ECCOP '98: Proceedings of the 12th European Conference on Object-Oriented Programming, pp.67-90, 1998.

T. Henzinger and J. Sifakis, The Discipline of Embedded Systems Design, Computer, vol.40, issue.10, pp.32-40, 2007.
DOI : 10.1109/MC.2007.364

J. S. Fitzgerald, P. G. Larsen, and M. Verhoef, Vienna Development Method, Wiley Encyclopedia of Computer Science and Engineering, vol.10, issue.5-6, 2008.
DOI : 10.1002/9780470050118.ecse447

D. Karnopp and R. Rosenberg, Analysis and simulation of multiport systems: the bond graph approach to physical system dynamic, 1968.

P. G. Larsen, N. Battle, M. Ferreira, J. Fitzgerald, K. Lausdahl et al., The overture initiative integrating tools for VDM, ACM SIGSOFT Software Engineering Notes, vol.35, issue.1, 2010.
DOI : 10.1145/1668862.1668864

P. G. Larsen, J. Fitzgerald, and S. Wolff, Methods for the Development of Distributed Real- Time Systems using VDM, International Journal of Software and Informatics, vol.3, issue.2-3, 2009.

E. A. Lee, Computing needs time, Communications of the ACM, vol.52, issue.5, pp.70-79, 2009.
DOI : 10.1145/1506409.1506426

G. Nicolescu, H. Boucheneb, L. Gheorghe, and F. Bouchhima, Methodology for efficient design of continuous/discrete-events co-simulation tools, High Level Simulation Languages and Applications, pp.172-179, 2007.

G. Nicolescu, F. Bouchhima, and L. Gheorghe, CODIS ? A Framework for Continuous/Discrete Systems Co-Simulation Analysis and Design of Hybrid Systems, pp.274-275, 2006.

M. Verhoef, Modeling and Validating Distributed Embedded Real-Time Control Systems, 2008.

M. Verhoef, P. Visser, J. Hooman, and J. Broenink, Co-simulation of Distributed Embedded Real-Time Control Systems, Integrated Formal Methods: Proc. 6th. Intl. Conference, pp.639-658, 2007.
DOI : 10.1007/978-3-540-73210-5_33

S. Wolff, P. G. Larsen, and T. Noergaard, Development Process for Multi-Disciplinary Embedded Control Systems, EuroSim 2010. EuroSim, 2010.

J. Woodcock, P. G. Larsen, J. Bicarregui, and J. Fitzgerald, Formal methods, ACM Computing Surveys, vol.41, issue.4, pp.1-36, 2009.
DOI : 10.1145/1592434.1592436