@article{Gerndt:2006:Asl,
  author    = "Michael Gerndt and Karl F{\"u}rlinger",
  title     = "Specification and detection of performance
               problems with {ASL}",
  journal   = "Concurrency and Computation: Practice and
               Experience",
  year      = "2007",
  volume    = "19",
  number    = "11",
  pages     = "1451--1464",
  publisher = "John Wiley and Sons Ltd.",
  doi       = "10.1002/cpe.1123",
}