@inproceedings{CRPITV47P33-41,
   Author = {Chinneck, Paul and Pumfrey, David and McDermid, John},
   Title = {The HEAT/ACT Preliminary Safety Case: A case study in the use of 
Goal Structuring Notation},
   BookTitle = {Ninth Australian Workshop on Safety-Related Programmable 
Systems},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Brisbane, Australia},
   Publisher = {ACS},
   Volume = {47},
   Pages = {33-41},
   URL  = {http://crpit.com/confpapers/CRPITV47Chinneck.pdf},
   Year = {2004} }



@inproceedings{CRPITV47P67-76,
   Author = {Ellims, Michael},
   Title = {On Wheels, Nuts and Software},
   BookTitle = {Ninth Australian Workshop on Safety-Related Programmable 
Systems},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Brisbane, Australia},
   Publisher = {ACS},
   Volume = {47},
   Pages = {67-76},
   URL  = {http://crpit.com/confpapers/CRPITV47Ellims.pdf},
   Year = {2004} }



@inproceedings{CRPITV47P77-87,
   Author = {Hamoy, Christian and Hemer, David and Lindsay, Peter},
   Title = {HazLog: Tool Support for Hazard Management},
   BookTitle = {Ninth Australian Workshop on Safety-Related Programmable 
Systems},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Brisbane, Australia},
   Publisher = {ACS},
   Volume = {47},
   Pages = {77-87},
   URL  = {http://crpit.com/confpapers/CRPITV47Hamoy.pdf},
   Year = {2004} }



@inproceedings{CRPITV47P49-58,
   Author = {Jones-Lee, Michael and Loomes, Graham},
   Title = {Eliciting Measures of Value for Health and Safety},
   BookTitle = {Ninth Australian Workshop on Safety-Related Programmable 
Systems},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Brisbane, Australia},
   Publisher = {ACS},
   Volume = {47},
   Pages = {49-58},
   URL  = {http://crpit.com/confpapers/CRPITV47JonesLee.pdf},
   Year = {2004} }



@inproceedings{CRPITV47P3-12,
   Author = {Ladkin, Peter B.},
   Title = {Causal Analysis of the ACAS/TCAS Sociotechnical System},
   BookTitle = {Ninth Australian Workshop on Safety-Related Programmable 
Systems},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Brisbane, Australia},
   Publisher = {ACS},
   Volume = {47},
   Pages = {3-12},
   URL  = {http://crpit.com/confpapers/CRPITV47Ladkin.pdf},
   Year = {2004} }



@inproceedings{CRPITV47P59-66,
   Author = {Nikandros, George},
   Title = {COTS - Size Does Matter},
   BookTitle = {Ninth Australian Workshop on Safety-Related Programmable 
Systems},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Brisbane, Australia},
   Publisher = {ACS},
   Volume = {47},
   Pages = {59-66},
   URL  = {http://crpit.com/confpapers/CRPITV47Nikandros.pdf},
   Year = {2004} }



@inproceedings{CRPITV47P89-95,
   Author = {Papadopoulos, Yiannis and Parker, David and Grante, Christian},
   Title = {A Method and Tool Support for Model-based Semi-automated Failure 
Modes and Effects Analysis of Engineering Designs},
   BookTitle = {Ninth Australian Workshop on Safety-Related Programmable 
Systems},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Brisbane, Australia},
   Publisher = {ACS},
   Volume = {47},
   Pages = {89-95},
   URL  = {http://crpit.com/confpapers/CRPITV47Papadopoulos.pdf},
   Year = {2004} }



@inproceedings{CRPITV47P23-32,
   Author = {Stone, Gordon R.},
   Title = {Complex Reactive Real Time Systems and the Safety Case},
   BookTitle = {Ninth Australian Workshop on Safety-Related Programmable 
Systems},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Brisbane, Australia},
   Publisher = {ACS},
   Volume = {47},
   Pages = {23-32},
   URL  = {http://crpit.com/confpapers/CRPITV47Stone.pdf},
   Year = {2004} }



@inproceedings{CRPITV47P43-47,
   Author = {Thomas, Martyn},
   Title = {Engineering Judgement},
   BookTitle = {Ninth Australian Workshop on Safety-Related Programmable 
Systems},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Brisbane, Australia},
   Publisher = {ACS},
   Volume = {47},
   Pages = {43-47},
   URL  = {http://crpit.com/confpapers/CRPITV47Thomas.pdf},
   Year = {2004} }



@inproceedings{CRPITV47P97-110,
   Author = {Williams, Ed},
   Title = {Airborne Collision Avoidance System},
   BookTitle = {Ninth Australian Workshop on Safety-Related Programmable 
Systems},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Brisbane, Australia},
   Publisher = {ACS},
   Volume = {47},
   Pages = {97-110},
   URL  = {http://crpit.com/confpapers/CRPITV47Williams.pdf},
   Year = {2004} }



@inproceedings{CRPITV47P13-22,
   Author = {Ye, Fan and Kelly, Tim},
   Title = {Contract-Based Justification for COTS Component within Safety 
Critical Applications},
   BookTitle = {Ninth Australian Workshop on Safety-Related Programmable 
Systems},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Brisbane, Australia},
   Publisher = {ACS},
   Volume = {47},
   Pages = {13-22},
   URL  = {http://crpit.com/confpapers/CRPITV47Ye.pdf},
   Year = {2004} }