@proceedings {9841,
	title = {Multi-agent systems: modeling and Verification using hybrid automata },
	journal = { In proceeding of the 7th International Workshop on Programming Multi-Agent Systems (ProMAS 2009) at the 8th International Joint conference on Autonomous Agents \& Multi-Agent Systems (AAMAS 2009)},
	year = {2009},
	pages = { 86-102},
	address = {Budapest},
	author = {Ammar Mohammed and Ulrich Frubach}
}
