@inproceedings {GI2004,
	title = {Static Safety Analysis of UML Action Semantics for Critical Systems Development},
	booktitle = {GI Jahrestagung (1)},
	series = {LNI},
	volume = {50},
	year = {2004},
	month = {September},
	pages = {57-61},
	publisher = {GI},
	organization = {GI},
	abstract = {The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to implementation allowing the development of highly automated and optimized code generators for UML CASE tools.},
	keywords = {Action Semantics, safety criteria, safety critical systems, UML},
	url = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2004/gi2004_pv.pdf},
	author = {Zsigmond Pap and D{\'a}niel Varr{\'o}},
	editor = {Peter Dadam and Manfred Reichert}
}
