@article{cousot-al:fmsd10,
  author =    {Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.}
               and Min\'e, A{.} and Rival, X{.}},
  title =     {Why does {A}str\'ee scale up?},
  journal =   {Formal Methods in System Design},
  publisher = {Springer},
  year =      {2010},
  month =     {Dec},
  volume =    {35},
  number =    {3},
  pages =     {229--264},
  note =      {\url{http://www.di.ens.fr/~mine/publi/article-cousot-al-FMSD10.pdf}}
}