@article{Sang07,
  key         ={Sang07},
  author      ={A. Sangiovanni-Vincentelli},
  title       ={Quo Vadis, {SLD}? Reasoning About the Trends and Challenges of System Level Design},
  journal     ={Proceedings of the IEEE},
  month       ={March},
  publisher   ={IEEE Computer Society},
  volume      ={95},
  number      ={3},
  pages       ={467-506},
  year        ={2007},
}