@inproceedings {Holt.2006.2,
	title = {Experiences With Precise State Modeling in an Industrial Safety Critical System},
	journal = {Critical Systems Development Using Modeling Lanuguages, CSDUML{\textquoteright}06},
	year = {2006},
	month = {October},
	pages = {68-77},
	publisher = {Springer},
	type = {Workshop},
	edition = {9th edition},
	chapter = {6},
	abstract = {The development of safety critical systems is a complex and challenging task. There are many claims regarding how precise modeling, either with the UML or other modeling notations, can yield benefits in terms of more rigorous specifications and designs. This paper reports on experiences from applying statechart-driven UML modeling in the development of a safety-critical system at ABB. The primary lessons learned from the study are related to the impact of precise modeling on the ease of transitioning to design.},
	author = {Nina Elisabeth {Holt} and Anda, Bente Cecilie Dahlum and Asskildt, Knut and Briand, Lionel and Endresen, Jan and Fr{\o}ystein, Sverre},
	editor = {Siv Hilde {Houmb} and Georg, Geri and France, Robert and Dorina C. {Petriu} and J{\"u}rjens, Jan}
}
@inproceedings {Hansen.2005.5,
	title = {Experiences With a UML-Based Development Method for SIL Products},
	journal = {CSDUML 2005, The 4th International Workshop on Critical Systems Development Using Modeling Languages, 27th September, Fredrikstad, Norway},
	year = {2005},
	pages = {87-95},
	publisher = {Technical report, Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
	type = {Workshop},
	abstract = {This article describes the results of an investigation into the suitability of methodology based on UML in an IEC 61508 development project that developed SIL products. Feedback was gathered from project members through interviews and questionnaires. The results show that the method led to improvements in some aspects of the development process that are particularly important in the development of SIL products. These improvements were related to documentation, traceability from requirements to code, and the quality of the code. The results also show, however, that the opinions of the project members differed a lot, and consequently that it is difficult to define one method with which a large number of developers with different backgrounds and mind sets will be content.},
	author = {Hansen, Kai and Anda, Bente Cecilie Dahlum and Gullesen, Ingolf},
	editor = {Siv Hilde {Houmb} and J{\"u}rjens, Jan and France, Robert}
}
