1. Aloul, F., Ramani, A., Markov, I., Sakallah, K.: Solving difficult SAT instances in the presence of symmetry. IEEE Transactions on Computer Aided Design 22(9), 1117–1137 (2003)
2. Balasubramanian, J., Schmidt, D., Dowdy, L., Othman, O.: Evaluating the performance of middleware load balancing strategies. In: EDOC 2001, pp. 135–146. IEEE Computer Society Press, Los Alamitos (2004)
3. Bosnacki, D., Dams, D., Holenderski, L.: Symmetric Spin. International Journal on Software Tools for Technology Transfer 4(1), 65–80 (2002)
4. Calder, M., Miller, A.: Generalising feature interactions in email. In: Feature Interactions in Telecommunications and Software Systems VII, pp. 187–205. IOS Press, Amsterdam (2003)
5. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)