G. Dulewicz, and O. Unold. 2001 International Workshop on Hybrid Intelligent
Systems, page 361--378. Adelaide, Australia, Springer-Verlag, (11-12 December 2001)
J. eun Lee, K. Choi, and N. Dutt. ICCAD '02: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design, page 649--654. New York, NY, USA, ACM, (2002)