Tindell, K.W.; Hansson, H.; Wellings, A.J. Analysing real-time communications: controller area network (CAN). Real-Time Systems Symposium, 1994., Proceedings. Dec 2004, ISBN: 0-8186-6600-5
Berwanger, J., C. Ebner, et al. (2001). FlexRay-The Communication System for Advanced Automotive Control Systems. SAE World Congress, Detroit, SAE Press paper 2001001-0676.
AUTOSAR AUTomotive Open System Architecture. http://www.autosar.org
The East-EEA Project. Defnition of language for automotive embedded electronic architecture, ITEA, 2004.
AUTOSAR Specification of Timing Extensions, 1.1.0, AUTOSAR Release 4.0.2, 2010-11-03, AUTOSAR Development Cooperation.
The ATESST Consortium. ATESST - the Modelling Approach: Overview of the East-ADL2. ITEA, Tech. Rep., 2007, deliverable D.3.1. [Online]. Available: http://www.atesst.org
N. Feiertag, K. Richter, J. Nordlander, J. Jonsson. A Compositional Framework for End-to-End Path Delay Calculation of Automotive Systems under Different Path Semantics. IEEE Real-Time System Symposium (RTSS), Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'08). Barcelona, Spain, December 2008
The ITEA TIMMO Project. http://timmo-2-use.org/
O. SEI, "OSATE An extensible source AADL tool environment," SEI AADL Team technical Report, 2004.
Systems Modeling Language (SysML) Specification 1.1. OMG Document Number: ptc/08-05-17. http://www.sysml.org
P. Cuenot, P. Frey, R. Johansson, H. Lönn, M-O Reiser, D. Servat, R. Tavakoli Koligari, D.J. Chen. Developing Automotive Products using the EAST-ADL2, and Autosar Compliant Architecture Description Language. European Congress on Embedded Real-Time Software (ERTS). Toulouse, France. January 2008
H. Espinoza, H. Dubois, S. Gerard, J. Medina, D.C. Petriu. Annotating UML Models with Non-Functional Properties for Quantitative Analysis. Proc of MODELS'2005 Satellite Events, Lecture Notes in Computer Science, Springer, 2006
J. Stankovic. VEST: A Toolset for Constructing and Analyzing Component based Operating Systems for Embedded and Real-time Systems. University of Virginia TR CS-2000-19, July 2000.
F. Singhoff, J. Legrand, L. Nana, and L. Marce. Scheduling and Memory Requirements Analysis with AADL. Proceedings of the International ACM SIGAda Conference, Atlanta, USA, November 2005.
H. Blom, R. Johansson, and H. Lonn. Annotation with Timing Constraints in the Context of EAST-ADL2 and AUTOSAR-the Timing Augmented Description Language.
A. Hamann, R. Henia, M. Jersak, R. Racu, K. Richter, and R. Ernst. Symta/s-Symbolic Timing Analysis for Systems. In WIP Proc. Euromicro Conference on Real-Time Systems 2004 (ECRTS'04), pp. 17-20.
K. Klobedanz, C. Kuznik, A. Thuy, and W. Mueller. Timing Modeling and Analysis for AUTOSAR-based Software Development - a Case Study. In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010. IEEE, 2010, pp. 642-645.
L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System, Comm. of the ACM, (July 1978)
C. J. Fidge. Logical Time in Distributed Systems. Comput., vol. 24, no. 8, pp. 28-33, Aug. 1991.
G. Berry. The foundations of Esterel. In Proof Language and Interaction: Essays in Honor of Robin Milner. Cambridge, MA: MIT Press, 2000.
A. Benveniste, P. Guernic, and C. Jacquemot. Synchronous Programming with Events and Relations: The Signal Language and its Semantics. Sci. Comput. Program., vol. 16, pp. 103-149, 1991. (Pubitemid 21721822)
F. Boussinot, R. De Simone. The ESTEREL Language. Proceedings of the IEEE, 79(9):1293-1304, Sept. 1991. (Pubitemid 21738063)
The ProMARTE Consortium, UML Profile for MARTE, beta 3, Object Management Group, May 2009, oMG document number: ptc/2009-05-13.
F. Mallet, C. André and R. de Simone. CCSL: Specifying Clock Constraints with UML/Marte. ISSE, 4(3):309-314, 2008.
C. André F. Mallet, and R. de Simone. Modeling time(s). In G. Engels, B. Opdyke, D. C. Schmidt, and F. Weil, editors, MoDELS, volume 4735 of Lecture Notes in Computer Science, pages 559-573. Springer, 2007.
EAST-ADL Language Specification, http://www.atesst.org/home/liblocal/ docs/ATESST2-D4.1.1-EASTADL2-Specification-2010-06-02.pdf
J. DeAntoni, F. Mallet, and C. André "TimeSquare: on the formal execution of UML and DSL models," Tool session of the 4th Model driven development for distributed real time systems, 2008.
Parosh Aziz Abdulla, Johann Deneux, et al. "Designing Safe, Reliable Systems using Scade " In Proc. ISoLA 2004, 2004
