C
[CRS01] Franck Cassez, Mark D. Ryan, and Pierre-Yves Schobbens. Proving Feature Non-Interaction with Alternating-Time Temporal Logic. In Proceedings of the FIREworks Workshop on Language Constructs for Describing Features, pages 85-104. Springer-Verlag, January 2001. 
@inproceedings{fireworks2000-CRS,
  author =              {Cassez, Franck and Ryan, Mark D. and Schobbens,
                         Pierre-Yves},
  title =               {Proving Feature Non-Interaction with
                         Alternating-Time Temporal Logic},
  editor =              {Gilmore, Stephen D. and Ryan, Mark D.},
  booktitle =           {{P}roceedings of the {FIRE}works {W}orkshop on
                         {L}anguage {C}onstructs for {D}escribing {F}eatures},
  publisher =           {Springer-Verlag},
  pages =               {85-104},
  year =                {2001},
  month =               jan,
  confyear =            {2000},
  confmonth =           {5},
}
List of authors