Gerd Behrmann Ed Brinksma Martijn Hendriks Angelika Mader Production Scheduling by Reachability Analysis - A Case Study. 2005 conf/ipps/2005 IPDPS http://doi.ieeecomputersociety.org/10.1109/IPDPS.2005.363 db/conf/ipps/ipdps2005.html#BehrmannBHM05