@book{220996,
	author = {Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer},
	title = {Formal Methods in Software and Systems Modeling},
	publisher = {Springer US},
	year = {2005},
	address = {New York}
}