1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/paper/references.bib	Fri Jun 04 15:05:34 2010 +0200
     1.3 @@ -0,0 +1,60 @@
     1.4 +@book{iec61508,
     1.5 +	author="IEC",
     1.6 +	publisher="International Electrotechnical Commission",
     1.7 +	title="IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems",
     1.8 +	year="1998/2005"
     1.9 +}
    1.10 +@book{silcalc,
    1.11 +	author="R.C. Short",
    1.12 +	publisher="3rd IET International Conference on System Safety",
    1.13 +	title="Towards a Calculus for Software SIL",
    1.14 +	year=2008
    1.15 +}
    1.16 +@book{cert_compiler,
    1.17 +	author="Olwen Morgan",
    1.18 +	publisher="3rd Institution of Engineering and Technology Conference on Automotive Electronics",
    1.19 +	title="Certified Testing of C Compilers for Embedded Systems",
    1.20 +	year="2007"
    1.21 +}
    1.22 +@book{personal,
    1.23 +	author="Rodney May",
    1.24 +	publisher="Programmable Electronics and Safety Systems: Issues, Standards and Practical Aspects",
    1.25 +	title="Personal Competencies and the Requirements of IEC 61508",
    1.26 +	year=2002
    1.27 +}
    1.28 +@book{blackbox,
    1.29 +	author="Pawel Kwasnowsk and Grzegorz Wrobel and Zbigniew Mikos and Grzegorz Hayduk",
    1.30 +	publisher="5th IEEE International Conference on Industrial Informatics",
    1.31 +	title="Blackbox Testing Methodology for SafetyLON according to the IEC 61508 Standard",
    1.32 +	year=2007
    1.33 +}
    1.34 +@book{code_gen,
    1.35 +	author="Tilman Gloetzner",
    1.36 +	publisher="3rd IET International conference on System Safety",
    1.37 +	title="IEC 61508 Certification of a Code Generator",
    1.38 +	year=2008
    1.39 +}
    1.40 +@book{basf,
    1.41 +	author="Dirk Hablawetz and Norbert Matalla and Gerhard Adam",
    1.42 +	publisher="atp",
    1.43 +	title="IEC 61511 in der Praxis - Erfahrungen eines Anlagebetreibers",
    1.44 +	year=2007
    1.45 +}
    1.46 +@book{unified,
    1.47 +	author="Julia V. Bukowski, PhD",
    1.48 +	publisher="Reliability and Maintainability Symposium",
    1.49 +	title="A Unified Model for Evaluating the Safety Integrity Level of Safety Instrumented Systems",
    1.50 +	year=2008
    1.51 +}
    1.52 +@book{bridge,
    1.53 +	author="Yoshinobu Sato",
    1.54 +	publisher="SICE Annual Conference",
    1.55 +	title="Throwing a Bridge between Risk Assessment and Functional Safety",
    1.56 +	year=2007
    1.57 +}
    1.58 +@book{auto_control,
    1.59 +	author="Wolfgang A. Halang",
    1.60 +	publisher="9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems",
    1.61 +	title="Automated Control Systems for the Safety Integrity Levels 3 and 4",
    1.62 +	year=2004
    1.63 +}