2.4 References
2.4.1 Normative References
The following normative documents contain provisions that, through reference in this text, constitute provisions of this standard. 
IEEE/ANSI 610.12-1990 [IEEE/ANSI 610.12-1990], IEEE Standard Glossary of Software Engineering Terminology.
ISO/IEC 9945-1:1996 [IEEE/ANSI Std 1003.1, 1996 Edition], Information Technology – Portable Operating System Interface (POSIX) – Part 1: System Application Program Interface (API) [C Language].
ISO/IEC 14519:1999 [IEEE/ANSI Std 1003.5b-1999], Information Technology – POSIX Ada Language Interfaces – Binding for System Application Program Interface (API) – Real-time Extensions.
ISO/IEC 8652:1995, Information Technology – Programming Languages – Ada.
ISO/IEC 9899:1999, Information Technology – Programming Languages – C.
Unified Modeling Language Specification [UML 2004, version 1.4.2], July 2004, version 1.4.2.
2.4.2 Informative References
The following informative references contain background information about the items with the citation.
[BNF 1960] NAUR, Peter (ed.), "Revised Report on the Algorithmic Language ALGOL 60," Communications of the ACM, Vol. 3 No. 5, pp. 299-314, May 1960.
[IFIP WG10.4-1992] IFIP WG10.4 on Dependable Computing and Fault Tolerance, 1992, J.-C. Laprie, editor, “Dependability: Basic Concepts and Terminology,” Dependable Computing and Fault Tolerance, volume 5, Springer-Verlag, Wien, New York, 1992.
[Henz 96] “Theory of Hybrid Automata”, Thomas A. Henzinger, Electrical Engineering and Computer Science, University of California at Berkley, Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), IEEE Computer Society Press, 1996, pp. 278-292
2.4.3 Terms and Definitions
Terms are introduced throughout this standard, indicated by italic type.  Informational definitions of terms are given in Appendix C , Glossary.  Definitions of terms used from other standards, such as the IEEE Standard Glossary of Software Engineering Terminology [IEEE Std. 610.12-1990], ISO/IEC 9945-1:1996 [IEEE/ANSI Std 1003.1, 1996 Edition], Information Technology – Portable Operating System Interface (POSIX), or IFIP WG10.4 Dependability: Basic Concepts and Terminology [IFIP WG10.4-1992], are so marked.  Terms not defined in this standard are to be interpreted according to the Webster's Third New International Dictionary of the English Language. Terms explicitly defined in this standard are not to be presumed to refer implicitly to similar terms defined elsewhere.  A full description of the syntax and semantics of the concept represented by the terms is found in the respective document sections, clauses, and subclauses.