@article{SLR+:2009,
	author = {Scholz-Reiter, Bernd and L{\"u}tjen, Michael and Ruthenbeck, Carmen and Harjes, Florian and Drechsler, Rolf and Gro{\ss}e, Daniel},
	title = {{Formale Verifikation von logistischen Prozessmodellen}},
	journal = {ERP Management},
	year = {2009},
	volume = {5},
	number = {4},
	pages = {44-47}
}