Keywords: Model-Based Design; Cyber-Physical Systems; Modeling; Simulation; Computation; Numerical Integration; Hybrid Systems
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011
 Karl J. Ă…strĂ¶m and BjĂ¶rnWittenmark. Computer Controlled Systems: Theory and Design. Prentice-Hall; Englewood Cliffs; New Jersey; 1984.
 John Backus. Can programming be liberated from the von neumann style? a functional style and its algebra of programs. Communications of the ACM; 21(8):613â€“641; 1978.
 Maria Domenica Di Benedetto and Alberto L. Sangiovanni- Vincentelli; editors. Hybrid Systems: Computation and Control; volume 2034 of Lecture Notes in Computer Science. Springer-Verlag; March 2001.
 Albert Benveniste; Paul Caspi; Stephen A. Edwards; Nicolas Halbwachs; Paul Le Guernic; and Robert de Simone. The synchronous languages twelve years later. Proceedings of mthe IEEE; 91(1):64â€“83; 2003.
 Ben Denckla and Pieter J. Mosterman. Stream- and state-based semantics of hierarchy in block diagrams. In Proceedings of the 17th IFAC World Congress; pages 7955â€“ 7960; Seoul; Korea; July 2008.
 Nicolas Halbwachs; Pascal Raymond; and Christophe Ratel. Generating efficient code from data-flow programs. In Third International Symposium on Programming Language Implementation and Logic Programming; Passau; Germany; August 1991.
 Derek J. Hatley and Imtiaz Pirbhai. Strategies for Real-Time Systems Specification. Dorset House Publishing Co.; New York; New York; 1988.
 High Confidence Software and Systems Coordinating Group. High-confidence medical devices: Cyber-physical systems for the 21st century health care. Technical report; Networking and Information Technology Research and Development Program; feb 2009.
 Jerry Krasner. Comparing embedded design outcomes with and without model-based design. Technical report; Embedded Market Forecasters; Framingham; MA; October 2010.
 Edward A. Lee. Whatâ€™s ahead for embedded software. Computer; 33(9):18â€“26; September 2000.
 Joy Lin. Measuring return on investment of model-based design. EE Times Design; May 2011.
 Nancy Lynch and Bruce Krogh; editors. Hybrid Systems:Computation and Control; volume 1790 of Lecture Notes in Computer Science. Springer-Verlag; March 2000.
 Cleve Moler. Are we there yet? zero crossing and event handling for differential equations. EE Times; pages 16â€“17; 1997. Simulink 2 Special Edition.
 Pieter J. Mosterman. HYBRSIMâ€”a modeling and simulation environment for hybrid bond graphs. Journal of Systems and Control Engineering; 216(1):35â€“46; 2002.
 Pieter J. Mosterman; Janos Sztipanovits; and Sebastian Engell. Computer automated multi-paradigm modeling in control systems technology. IEEE Transactions on Control System Technology; 12(2):223â€“234; March 2004.
 Pieter J. Mosterman and Hans Vangheluwe. Guest editorial: Special issue on computer automated multi-paradigm modeling. ACM Transactions on Modeling and Computer Simulation; 12(4):249â€“255; 2002.
 Pieter J. Mosterman and Hans Vangheluwe. Computer automated multi-paradigm modeling: An introduction. SIMULATION: Transactions of The Society for Modeling and Simulation International; 80(9):433â€“450; September 2004.
 Pieter J. Mosterman; Justyna Zander; Gregoire Hamon;and Ben Denckla. Towards computational hybrid system semantics for time-based block diagrams. In Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems; pages 376â€“385; Zaragoza; Spain; September 2009. plenary paper.
 Pieter J. Mosterman; Justyna Zander; Gregoire Hamon; and Ben Denckla. A computational model of time for stiff hybrid systems applied to control synthesis. Control Engineering Practice; 19; 2011.
 Gabriela Nicolescu and Pieter J. Mosterman; editors. Model-Based Design for Embedded Systems. Computational Analysis; Synthesis; and Design of Dynamic Systems. CRC Press; Boca Raton; FL; 2009. ISBN: 9781420067842.
 Linda R. Petzold. A description of DASSL: A differential/algebraic system solver. Technical Report SAND82- 8637; Sandia National Laboratories; Livermore; CA; 1982.
 Ingo Sander. System Modeling and Design Refinement in ForSyDe. PhD thesis; Royal Institute of Technology; Stockholm; Sweden; April 2003.
 Semiconductor Industry Association. International technology roadmap for semiconductors: 1999 editionâ€”design. Technical report; Sematech; Austin; TX; 1999.
 Simulink R . Using Simulink R . MathWorks R ; Natick; MA; March 2011.
 Michael Sullivan. TACTICAL AIRCRAFTâ€“F/A-22 and JSF acquisition plans and implications for tactical aircraft modernization. Technical Report GAO-05-519T; United States Government Accountability Office; April 2005.
 Justyna Zander; Pieter J. Mosterman; GrĂ©egoire Hamon; and Ben Denckla. On the structure of time in computational semantics of a variable-step solver for hybrid behavior analysis. In Proceedings of the 18th IFAC World Congress; Milan; Italy; September 2011.