BastenBGHHIRSST10'

@inproceedings{DBLP:conf/isola/BastenBGHHIRSST10,
  author    = {Twan Basten and
               Emiel van Benthum and
               Marc Geilen and
               Martijn Hendriks and
               Fred Houben and
               Georgeta Igna and
               Frans Reckers and
               Sebastian de Smet and
               Lou J. Somers and
               Egbert Teeselink},
  title     = {Model-Driven Design-Space Exploration for Embedded Systems:
               The Octopus Toolset},
  booktitle = {ISoLA (1)},
  year      = {2010},
  pages     = {90-105},
  ee        = {http://dx.doi.org/10.1007/978-3-642-16558-0_10},
  crossref  = {DBLP:conf/isola/2010-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/isola/2010-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification,
               and Validation - 4th International Symposium on Leveraging
               Applications, ISoLA 2010, Heraklion, Crete, Greece, October
               18-21, 2010, Proceedings, Part I},
  booktitle = {ISoLA (1)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6415},
  year      = {2010},
  isbn      = {978-3-642-16557-3},
  ee        = {http://dx.doi.org/10.1007/978-3-642-16558-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}