@STRING{aspdac	= {ASP Design Automation Conf.} }
@inproceedings{BVB+:2014,
  author    = {Andreas Burger and
               Alexander Viehl and
               Andreas Braun and
               Finn Haedicke and
               Daniel Gro{\ss}e and
               Oliver Bringmann and
               Wolfgang Rosenstiel},
  title     = {Constraint-based platform variants specification for early system
               verification},
  booktitle = aspdac,
  pages     = {800--805},
  year      = {2014}
}