@inproceedings{BBHM05b,
	author =		{Behrmann, G. and Brinksma, E. and Hendriks, M. and Mader, A.},
	title =		{Scheduling Lacquer Production by Reachability Analysis -- A Case Study},
	booktitle =		{Workshop on Parallel and Distributed Real-Time Systems 2005},
	year =		{2005},
	isbn =		{0-7695-2312-9},
  	publisher =	{IEEE Computer Society}
}