@InProceedings{ corti:lctes00,
  author = "Corti, M. and Brega, R. and Gross, T.",
  title = {Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems},
  booktitle = {Proceedings of the ACM SIGPLAN 2000 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2000)},
  year = 2000,
  month = jun,
  address = "Vancouver, Canada",
}