@inproceedings{BBHM05a,
	author =		{Behrmann, G. and Brinksma, E. and Hendriks, M. and Mader, A.},
	title =		{Scheduling Lacquer Production by Reachability Analysis -- A Case Study},
	booktitle =		{Proceedings of the 16th IFAC World Congress},
	year =		{2005},
	publisher =	{Elsevier}
}