@proceedingsHuh2009, Author = {Huhn, Michaela and Hungar, Hardi}, Title = {Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008)}, Year = {2009}, Month = {09}, Publisher = {Elsevier B.V.}, Edition = {Vol. 238, Issue 4}, Booktitle = {Electronic Notes in Theoretical Computer Science}, Organization = {Huhn, Michaela; Hungar, Hardi}, type = {proceedings} @COMMENTBibtex file generated on