Cited publications in 9th International Workshop on Discrete Event Systems:Practical applications of Boolean Satisfiability (2008)