@inbook {9834,
	title = {A Tool Environment for Specifying and Verifying Multi-agent Systems},
	booktitle = {ICAART 2 - Proceedings of the International Conference  on Agents and Artificial Intelligence},
	volume = {2},
	year = {2010},
	pages = {{323-326},
	publisher = {INSTICC Press},
	organization = {INSTICC Press},
	address = {Valencia, Spain},
	author = {Christian Schwarz and Ammar Mohammed and Frieder Stolzenburg}
}
