Dimitrios Panopoulos Kostas S. Metaxiotis Solving production scheduling problems using advanced model checking tools. 37-48 2006 26 IJCAT 1/2 http://dx.doi.org/10.1504/IJCAT.2006.010079 db/journals/ijcat/ijcat26.html#PanopoulosM06