@book{CRPITV100,
   Editor = {Cant, Tony},
   Title = {Safety Critical Systems and Software 2008.  Proceedings of the Twelfth Australian Conference on Safety-Related Programmable Systems (SCS 2008)},
   Publisher = {ACS},
   Address = {Canberra, Australia},
   Volume = {100},
  Series = {CRPIT},
   Year = {2008} }



@inproceedings{CRPITV100P3-9,
   Author = {Cheeseman, Paul},
   Title = {Are We Making Progress?},
   BookTitle = {Thirteenth Australian Conference on Safety-Related Programmable Systems (SCS 2008)},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Canberra, Australia},
   Publisher = {ACS},
   Volume = {100},
   Pages = {3-9},
   URL  = {http://crpit.com/confpapers/CRPITV100Cheeseman.pdf},
   Year = {2008} }



@inproceedings{CRPITV100P19-26,
   Author = {Coxson, Allan and Jacob, Verghese},
   Title = {'When the Regulator Calls'},
   BookTitle = {Thirteenth Australian Conference on Safety-Related Programmable Systems (SCS 2008)},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Canberra, Australia},
   Publisher = {ACS},
   Volume = {100},
   Pages = {19-26},
   URL  = {http://crpit.com/confpapers/CRPITV100Coxson.pdf},
   Year = {2008} }



@inproceedings{CRPITV100P27-35,
   Author = {Edwards, C. B. H.},
   Title = {The Role of the Evaluator in Australian Defence Standard Def (Aust) 5679},
   BookTitle = {Thirteenth Australian Conference on Safety-Related Programmable Systems (SCS 2008)},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Canberra, Australia},
   Publisher = {ACS},
   Volume = {100},
   Pages = {27-35},
   URL  = {http://crpit.com/confpapers/CRPITV100Edwards.pdf},
   Year = {2008} }



@inproceedings{CRPITV100P37-48,
   Author = {Mahony, B. P. and Cant, Tony},
   Title = {A Lightweight Approach to Formal Safety Architecture Assurance: The PARTI Case Study},
   BookTitle = {Thirteenth Australian Conference on Safety-Related Programmable Systems (SCS 2008)},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Canberra, Australia},
   Publisher = {ACS},
   Volume = {100},
   Pages = {37-48},
   URL  = {http://crpit.com/confpapers/CRPITV100Mahony.pdf},
   Year = {2008} }



@inproceedings{CRPITV100P11-15,
   Author = {McCormick, G. Frank},
   Title = {The Agnostic Hazard},
   BookTitle = {Thirteenth Australian Conference on Safety-Related Programmable Systems (SCS 2008)},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Canberra, Australia},
   Publisher = {ACS},
   Volume = {100},
   Pages = {11-15},
   URL  = {http://crpit.com/confpapers/CRPITV100McCormick.pdf},
   Year = {2008} }



@inproceedings{CRPITV100P49-68,
   Author = {Reinhardt, Derek W.},
   Title = {Considerations in the Preference for and Application of RTCA/DO-178B in the Australian Military Avionics Context},
   BookTitle = {Thirteenth Australian Conference on Safety-Related Programmable Systems (SCS 2008)},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Canberra, Australia},
   Publisher = {ACS},
   Volume = {100},
   Pages = {49-68},
   URL  = {http://crpit.com/confpapers/CRPITV100Reinhardt.pdf},
   Year = {2008} }



@inproceedings{CRPITV100P69-80,
   Author = {Wildman, Luke and Cant, Tony and Edwards, Chris and Griffiths, Alena and Mahony, Brendan and Martin, B. J. and Rae, Andrew},
   Title = {Guidance for Def (Aust) 5679 Issue 2},
   BookTitle = {Thirteenth Australian Conference on Safety-Related Programmable Systems (SCS 2008)},
   Editor = {Cant, Tony},
   Series= {CRPIT},
   Address= {Canberra, Australia},
   Publisher = {ACS},
   Volume = {100},
   Pages = {69-80},
   URL  = {http://crpit.com/confpapers/CRPITV100Wildman.pdf},
   Year = {2008} }