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. ,
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
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
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
Computer-aided physical-systems modeling and simulation: a bond-graph approach, 1990. ,
Modelling, Simulation and Analysis with 20-Sim, Journal A Special Issue CACSD, vol.38, issue.3, pp.22-25, 1997. ,
Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003. ,
DOI : 10.1109/JPROC.2002.805829
The IFAD VDM-SL toolbox, ACM SIGPLAN Notices, vol.29, issue.9, pp.77-80, 1994. ,
DOI : 10.1145/185009.185028
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
Modelling Systems ? Practical Tools and Techniques in Software Development The Edinburgh Building, 2009. ,
Validated Designs for Object?oriented Systems, 2005. ,
VDMTools: Advances in Support for Formal Modeling in VDM, ACM Sigplan Notices, vol.43, issue.2, pp.3-11, 2008. ,
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. ,
The Discipline of Embedded Systems Design, Computer, vol.40, issue.10, pp.32-40, 2007. ,
DOI : 10.1109/MC.2007.364
Vienna Development Method, Wiley Encyclopedia of Computer Science and Engineering, vol.10, issue.5-6, 2008. ,
DOI : 10.1002/9780470050118.ecse447
Analysis and simulation of multiport systems: the bond graph approach to physical system dynamic, 1968. ,
The overture initiative integrating tools for VDM, ACM SIGSOFT Software Engineering Notes, vol.35, issue.1, 2010. ,
DOI : 10.1145/1668862.1668864
Methods for the Development of Distributed Real- Time Systems using VDM, International Journal of Software and Informatics, vol.3, issue.2-3, 2009. ,
Computing needs time, Communications of the ACM, vol.52, issue.5, pp.70-79, 2009. ,
DOI : 10.1145/1506409.1506426
Methodology for efficient design of continuous/discrete-events co-simulation tools, High Level Simulation Languages and Applications, pp.172-179, 2007. ,
CODIS ? A Framework for Continuous/Discrete Systems Co-Simulation Analysis and Design of Hybrid Systems, pp.274-275, 2006. ,
Modeling and Validating Distributed Embedded Real-Time Control Systems, 2008. ,
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
Development Process for Multi-Disciplinary Embedded Control Systems, EuroSim 2010. EuroSim, 2010. ,
Formal methods, ACM Computing Surveys, vol.41, issue.4, pp.1-36, 2009. ,
DOI : 10.1145/1592434.1592436