@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}
}
