@InProceedings{fase06,
  author =       {P. C. {\"O}lveczky and M. Caccamo},
  title =        {Formal Simulation and Analysis of the {CASH} 
                  Scheduling Algorithm 
                  in {R}eal-{T}ime {M}aude},
  booktitle = {Fundamental Approaches to Software Engineering (FASE'06)},
  pages =        {357-372},
  year =         {2006},
  editor =       {L. Baresi and R. Heckel},
  volume =       {3922},
  series =       {Lecture Notes in Computer Science},
  publisher = {Springer}
}