@Article{fmsd:Eisinger_Klaedtke:dont_cares,
  author =       {Jochen Eisinger and Felix Klaedtke},
  title =        {Don't Care Words with an Application to the Automata-based Approach for Real Addition},
  journal = {Formal Methods in System Design},
  year =         {2008},
 volume = {33},
 number = {1--3},
 pages = {85--115},
}