C
[CLP+11] Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, and Enrico Vicario. A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. In ADA-EUROPE'11, Lecture Notes in Computer Science 6652, pages 118-131. Springer-Verlag, 2011. 
@inproceedings{adaeurope2011-CLPV,
  author =              {Carnevali, Laura and Lipari, Giuseppe and Pinzuti,
                         Alessandro and Vicario, Enrico},
  title =               {A Formal Approach to Design and Verification of
                         Two-Level Hierarchical Scheduling Systems},
  editor =              {Romanovsky, Alexander and Vardanega, Tullio},
  booktitle =           {Proceedings of the 16th {A}da-{E}urope
                         {I}nternational {C}onference on {R}eliable
                         {S}oftware {T}echnologies ({ADA-EUROPE}'11)},
  acronym =             {{ADA-EUROPE}'11},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {6652},
  pages =               {118-131},
  year =                {2011},
  confyear =            {2011},
  confmonth =           {6},
}
List of authors