Papers about Daedalus, and its methods and tools can be found at:
 
  1.  http://www.science.uva.nl/~andy/publications.html
  2.  http://www.liacs.nl/~stefanov/publications.html