@article{Basu2006,
  added-at = {2009-06-17T17:10:43.000+0200},
  address = {Los Alamitos, CA, USA},
  author = {Basu, Ananda and Bozga, Marius and Sifakis, Joseph},
  biburl = {http://www.bibsonomy.org/bibtex/254814bd9297fc1859ab4e5f27e6113df/phbaer},
  doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.27},
  interhash = {f9bdcb15166d425ef41de441ba7169ec},
  intrahash = {54814bd9297fc1859ab4e5f27e6113df},
  isbn = {0-7695-2678-0},
  journal = {International Conference on Software Engineering and Formal Methods},
  keywords = {bip components model phbaer-imoby real time},
  pages = {3--12},
  publisher = {IEEE Computer Society},
  timestamp = {2009-06-17T17:10:43.000+0200},
  title = {Modeling Heterogeneous Real-time Components in BIP},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.27},
  volume = 0,
  year = 2006
}